Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract).

Zakaria Chihani, Dale Miller, Fabien Renaud

Browse the full CADE paper archive.