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

# Demo
http://cs.camilstaps.nl/files/2014-2015/NWI-IPI004/CoqCommandsCounter/