Ostara is a simple, automated theorem prover for first-order logic. It is based on the resolution method and is implemented in Haskell.
rohitanwar / ostara Goto Github PK
View Code? Open in Web Editor NEWA simple automated theorem prover written in Haskell