| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE | 1079 | logplainblame |
| -rw-r--r-- | README.md | 45 | logplainblame |
| -rw-r--r-- | coqCounter.js | 735 | logplainblame |
| -rw-r--r-- | index.html | 550 | logplainblame |
 |
index : coq-commands-counter | |
| JavaScript tool to count commands used in a Coq script |
| aboutsummaryrefslogtreecommitdiff |