/coq-tools

Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.

Primary LanguagePython

Stargazers

No one’s star this repository yet.