kod3r / haskell-atp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from newca12/haskell-atp
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
License: GNU General Public License v3.0