A work-in-progress language and compiler for verified low-level programming
Primary LanguageCoqMIT LicenseMIT