saroyas/Ira

Automated Theorem Proving in Haskell