coq-tools in coq-community/awesome-coq

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

created at April 10, 2013, 5:43 p.m.

4 +0

36 +0

9 +0

coq-scripts in coq-community/awesome-coq

Various useful scripts for dealing with Coq files

created at June 5, 2014, 11:07 a.m.

4 +0

8 +0

6 +0