Skip to content

LogicUT/Proof_System

Folders and files

NameName
Last commit message
Last commit date

Latest commit

b4a2e2d · Jan 13, 2019

History

3 Commits
Dec 28, 2017
Dec 28, 2017

Repository files navigation

Proof_System

Prolog

Releases

No releases published

Packages

No packages published

Languages