seereason / atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
16Updated 7 months ago

Related projects

Alternatives and complementary repositories for atp-haskell