/coq-playground

Just random stuff that seems fun to formalise

Primary LanguageMakefileMIT LicenseMIT

No issues in this repository yet.