pragmatism first

GALLINA(1) - manual page | User commands

Extracts specification from Coq vernacular files.

Loading manual page ...