Zakaria Chihani, Dale Miller, Fabien Renaud. Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). In Jasmin Christian Blanchette, Josef Urban, editors, Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013. Volume 14 of EPiC Series, pages 58-66, EasyChair, 2013. [doi]
Abstract is missing.