Automatic Theorem Prover (ATP)

As a part of a course project, for Functional Programming, we have made a small Automatic Theorem Prover, which we call ATP, available here.

It is merely 700 lines of Haskell code, and it may require Cabal for installation. The salient features are:

`We' here refers to:

Back to Home

musically_ut 2014-04-03