dan/HITs-Examples
1
0
Fork 0
mirror of https://github.com/nmvdw/HITs-Examples synced 2025-11-03 07:03:51 +01:00
Code Issues Releases Wiki Activity
11 Commits 6 Branches 0 Tags
0cc0ecfd48b6ea7b05d28a8ddd2935f287fd378a
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
nmvdw 0cc0ecfd48 added proof that two reps of Z are iso (if everything set)
2017-01-10 23:46:50 +01:00
FinSets.v
Add files via upload
2017-01-02 13:08:36 +01:00
Integers.v
added proof that two reps of Z are iso (if everything set)
2017-01-10 23:46:50 +01:00
Mod2.v
Add files via upload
2017-01-02 13:15:17 +01:00
README.md
Update README.md
2017-01-02 13:45:04 +01:00

README.md

HITs-Coq

Needed: https://github.com/HoTT/HoTT

More information on the work is in HITs.pdf.

Description
No description provided
Readme 792 KiB
Languages
Coq 100%