issues
search
seereason
/
atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
Other
16
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Build failure with GHC 8.8 and up (fail removed from Monad)
#3
andreasabel
closed
6 months ago
4
CNF errors
#2
WolframKahl
closed
7 months ago
8
A quasi quoter for entering formulas would be nice
#1
ddssff
closed
7 months ago
1