adelon/naproche-zf

Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers

HaskellNOASSERTION