coq-commands-counter - JavaScript tool to count commands used in a Coq script

Age	Commit message (Expand)	Author	Files	Lines
2015-05-08	Initial commit	Camil Staps	2	-0/+24