OEuf
From MaRDI portal
Software:39198
No author found.
Source code repository: https://github.com/uwplse/oeuf
Related Items (8)
Certified Graph View Maintenance with Regular Datalog ⋮ Extracting functional programs from Coq, in Coq ⋮ Proof-producing synthesis of CakeML from monadic HOL functions ⋮ The \textsc{MetaCoq} project ⋮ [https://portal.mardi4nfdi.de/wiki/Publication:5875425 A certifying extraction with time bounds from Coq to call-by-value
$\lambda$-calculus] ⋮ \texttt{cake\_lpr}: verified propagation redundancy checking in CakeML ⋮ Software verification with ITPs should use binary code extraction to reduce the TCB (short paper) ⋮ Proof-producing synthesis of CakeML with I/O and local state from monadic HOL functions
This page was built for software: OEuf
