Clément Pit-Claudel

Available identifiers

zbMath Open pit-claudel.clementDBLP155/8144WikidataQ90260711 ScholiaQ90260711MaRDI QIDQ2819860

List of research outcomes

Publication	Date of Publication	Type
Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms	2023-11-24	Paper
Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs	2022-11-09	Paper
Fiat: deductive synthesis of abstract data types in a proof assistant	2016-09-29	Paper

Research outcomes over time

This page was built for person: Clément Pit-Claudel