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

about summary refs log tree commit diff

path: root/README.md

blob: 742886c6277d955635973bad67b9de8ffc4599bb (plain) (blame)

# CoqCommandsCounter
Count used coq commands

# Usage
Simply open `index.html` in your browser. A working internet connection is required, since jQuery is loaded from CDN.