Skip to content

stable implicational and full propositional intuitionistic provers + testers

Latest
Compare
Choose a tag to compare
@ptarau ptarau released this 25 Sep 15:18
· 89 commits to master since this release
modified ILTP test Python converter - now using intermediate postfix …

…form