Skip to content

Releases: ptarau/TypesAndProofs

stable implicational and full propositional intuitionistic provers + testers

25 Sep 15:18
Compare
Choose a tag to compare
1.0.0

modified ILTP test Python converter - now using intermediate postfix …