An untyped C-like language for verified low-level programming, with a compiler to RISC-V
Primary LanguageCoqMIT LicenseMIT