https://ogata-k.hatenablog.com/archive/category/Coq で利用するCoqファイルの管理リポジトリ
各Coqファイルには最初のコメントにfile: <file name>でブログからリポジトリ内ファイルを検索しやすくするためのファイル名、coqc -vで表示される実行時のCoqのバージョン情報を表示するようにしているので参考までに。
https://ogata-k.hatenablog.com/archive/category/Coq で利用するCoqファイルの管理リポジトリ
各Coqファイルには最初のコメントにfile: <file name>でブログからリポジトリ内ファイルを検索しやすくするためのファイル名、coqc -vで表示される実行時のCoqのバージョン情報を表示するようにしているので参考までに。