N

natded

Project information

Coq encoding of Natural Deduction, flavour of Predicate Calculus, up to completeness theorem

227 Commits
3 Branches
0 Tags

README
Creative Commons Zero v1.0 Universal

Created on

May 09, 2019

Loading