# 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.