# proof-checker
Proof checker based on first order logic. The eventual goal is to be as readable and natural as possible.