artemmavrin / autoproof

Intuitionistic and classical propositional logic library

https://artemmavrin.github.io/autoproof

Geek Repo

Github PK Tool