SOURCE RECORD · github
KaRaMeL is a tool for extracting low-level F* programs to readable C code
Open canonical source ↗
Research paper status → · Book status →