/haskell-atp

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell

Primary LanguageHaskellGNU General Public License v3.0GPL-3.0

Watchers