issues
search
miyamok
/
epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
cabal ecosystem
#2
miyamok
opened
11 months ago
1
simpleFormulaUnification to be gone
#1
miyamok
opened
11 months ago
0