coq-scripts

Various useful scripts for dealing with Coq files

8 stars

4 watching

6 forks

Language: Coq

last commit: 5 months ago

Linked from 1 awesome list

Backlinks from these awesome lists:

coq-community/awesome-coq