/mindless-coding

Mindless, verified (erasably) coding using dependent types

Primary LanguageCoqMIT LicenseMIT

Stargazers