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

about summary refs log tree commit diff

path: root/LICENSE

Age	Commit message (Collapse)	Author	Files	Lines
2015-05-08	Initial commit	Camil Staps	1	-0/+22