2 lines
122 B
Markdown
2 lines
122 B
Markdown
# proof-checker
|
|
Proof checker based on first order logic. The eventual goal is to be as readable and natural as possible.
|