Sign in
haskell-atp.
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Haskell
github.com/newca12/haskell-atp
by
@newca12
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
