index
:
coq-commands-counter
master
JavaScript tool to count commands used in a Coq script
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Mode
Name
Size
-rw-r--r--
LICENSE
1100
log
plain
blame
-rw-r--r--
README.md
251
log
plain
blame
-rw-r--r--
coqCounter.js
2157
log
plain
blame
-rw-r--r--
index.html
954
log
plain
blame