/coq-practice

Practice and experimentation with the Coq proof assistant

Primary LanguageCoq

Stargazers

No one’s star this repository yet.