A Formally Verified Checker for First-Order Proofs.

Seulkee Baek

Browse the full ITP paper archive.