7 citations · 14 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 1 cited
General Automation in Coq through Modular Transformations
Valentin Blot, Louise Dubois de Prisque, Chantal Keller +1
Whereas proof assistants based on Higher-Order Logic benefit from external solvers' automation, those based on Type Theory resist automation and thus require more expertise. Indeed…
cs.LO2021★ 1 cited
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving
Chantal Keller, Mathias Fleury
This volume of EPTCS contains the proceedings of the Seventh Workshop on Proof Exchange for Theorem Proving (PxTP 2021), held on 11 July 2021 as part of the CADE-28 online conferen…