seereason/atp-haskell

Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

This repository is not active