Testing the ergonomics of Coq wrt to writing models.
Primary LanguageCoq
This repository is not active