GitHub repository: yamarten/coq_ja_work
Primary language: Shell
Description: 【作業用】Coqリファレンスマニュアル非公式日本語訳