# proof-checker