Hanna Lachnitt

From MaRDI portal
Revision as of 02:58, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2104492

Available identifiers

zbMath Open lachnitt.hannaMaRDI QIDQ2104492

List of research outcomes





PublicationDate of PublicationType
\textsc{Carcara}: an efficient proof checker and elaborator for SMT proofs in the Alethe format2023-12-13Paper
Flexible proof production in an industrial-strength SMT solver2022-12-07Paper
Certified quantum computation in Isabelle/HOL2021-11-23Paper
Induction with generalization in superposition reasoning2021-01-20Paper

Research outcomes over time

This page was built for person: Hanna Lachnitt

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