/coq_practice

Just a repository to keep all my coq files.

Primary LanguageCoq

This repository is not active