GALLINA(1) - Linux manual page online | User commands
Extracts specification from Coq vernacular files.
Chapters
29 March 1995
Loading manual page ...