Martin Desharnais

From MaRDI portal
Person:1687530

Available identifiers

zbMath Open desharnais.martinMaRDI QIDQ1687530

List of research outcomes





PublicationDate of PublicationType
Seventeen provers under the hammer2024-07-15Paper
An Isabelle/HOL Formalization of the SCL(FOL) Calculus2024-04-26Paper
The 11th IJCAR automated theorem proving system competition – CASC-J112023-09-08Paper
The CADE-28 Automated Theorem Proving System Competition – CASC-282022-04-19Paper
Reliable reconstruction of fine-grained proofs in a proof assistant2021-12-01Paper
Foundational (co)datatypes and (co)recursion for higher-order logic2018-01-04Paper

Research outcomes over time

This page was built for person: Martin Desharnais

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1687530&oldid=6332291"
Powered by MediaWiki