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
-
Notifications
You must be signed in to change notification settings - Fork 0
A mirror of https://staff.aist.go.jp/reynald.affeldt/ssrcoq/
ProofCafe/AffeldtSsreflectTutorialNagoya
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Packages 0
No packages published