/amazing-coq

WHAT I have done on the road to Coq language and certified programming.

Primary LanguageCoqMIT LicenseMIT

Stargazers