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.

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