#4 Add support for counting Coq code.

open
nobody
None
5
2007-05-24
2007-05-24
Anonymous
No

Coq is a theorem prover available at http://coq.inria.fr.
Maybe it is possible to interface sloccount with coqwc so that Coq source code is also taken into account by sloccount.

Discussion