COQWC(1) - Linux manual page online | User commands
Print the number of specification, proof and comment lines in Coq files.
Chapters
16 March 2004
Loading manual page ...