A mirror of https://staff.aist.go.jp/reynald.affeldt/ssrcoq/
ProofCafeで学習するため https://staff.aist.go.jp/reynald.affeldt/ssrcoq/ の資料を利用していたが、知らないうちに資料がアップグレードしていったため、勉強会用のミラーを作成。現時点でオリジナルより少し古いバージョンとなる。
- Coq-8.4
- Ssreflect-1.5
$ cd src/ $ make
A mirror of https://staff.aist.go.jp/reynald.affeldt/ssrcoq/
ProofCafeで学習するため https://staff.aist.go.jp/reynald.affeldt/ssrcoq/ の資料を利用していたが、知らないうちに資料がアップグレードしていったため、勉強会用のミラーを作成。現時点でオリジナルより少し古いバージョンとなる。
$ cd src/ $ make