http://save.sys.t.u-tokyo.ac.jp/~yusa/fonts/ricty.htmlプログラミング用フォント

証明途中ですが。https://gist.github.com/954854

議題 名前空間を完全に分離したいときは、ファイルを分けるのが無難。 Coq内でのLoad Pathの設定方法 Add LoadPath "~/src/coq/ConCaT" as ConCaT. Print LoadPath. Require Export ConCaT.SETOID.Map2. structureをlocalにできるのか？ ConCaTのインストー…