Company-Coq: Taking Proof General one step closer to a real IDE

by Pit-Claudel, Clement F., Courtieu, Pierre
Published 2016

Trigger Selection Strategies to Stabilize Program Verifiers

by Leino, K. Rustan M., Pit-Claudel, Clement F.
Published 2016

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

by Delaware, Benjamin James, Pit-Claudel, Clement F., Gross, Jason S., Chlipala, Adam
Published 2014

Company-Coq: Taking Proof General one step closer to a real IDE

by Pit-Claudel, Clément, Courtieu, Pierre
Published 2021

Trigger Selection Strategies to Stabilize Program Verifiers

by Leino, K. Rustan M., Pit-Claudel, Clément
Published 2021

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

by Delaware, Benjamin James, Pit-Claudel, Clément, Gross, Jason S., Chlipala, Adam
Published 2021