This website requires JavaScript.
Explore
Help
Sign In
dan
/
HITs-Examples
Watch
1
Star
0
Fork
0
mirror of
https://github.com/nmvdw/HITs-Examples
synced
2026-09-18 08:10:23 +02:00
Code
Issues
Releases
Wiki
Activity
Files
card
HITs-Examples
/
FiniteSets
/
kuratowski
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
dan
8ce4cb760a
Update the code to match the latest HoTT
...
HoTT commit 3526c344c47d32f5d4d268658031777239ec952b
2017-11-06 15:25:56 +01:00
..
extensionality.v
Update the code to match the latest HoTT
2017-11-06 15:25:56 +01:00
kuratowski_sets.v
Update the code to match the latest HoTT
2017-11-06 15:25:56 +01:00
length.v
Port the codebase to HottClasses
2017-11-01 17:47:41 +01:00
operations.v
Port the codebase to HottClasses
2017-11-01 17:47:41 +01:00
properties.v
Update the code to match the latest HoTT
2017-11-06 15:25:56 +01:00
