Author:Frédéric Blanqui

Publications
Formal Verification of Proofs from Automated Theorem Provers for Higher-Order Logic Melanie Taprogge, Frédéric Blanqui and Alexander Steen In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Aligning HOL-Light and Rocq Libraries Formally Frédéric Blanqui and Antoine Gontard In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Translating HOL-Light proofs to Coq Frédéric Blanqui In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning