Formalization of Usuba front-end in Coq
Primary LanguageCoqMIT LicenseMIT
This repository is not active