Vernacular一覧:http:/coq.inria.fr/refman/command-index.html

Vernacular一覧:http:/coq.inria.fr/refman/command-index.html