https://github.com/jarlg/Yoneda-Ext
Tip revision: 38613d2c184a50be5001e4f533575fea137374b7 authored by Jarl G. Taxeraas Flaten on 22 February 2023, 14:26:53 UTC
wip
wip
Tip revision: 38613d2
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 296 bytes |
ES.v | -rw-r--r-- | 12.2 KB |
EquivalenceRelation.v | -rw-r--r-- | 4.6 KB |
HigherExt.v | -rw-r--r-- | 5.6 KB |
LES.v | -rw-r--r-- | 5.4 KB |
Lemmas.v | -rw-r--r-- | 947 bytes |
README.md | -rw-r--r-- | 12 bytes |
XII_5.v | -rw-r--r-- | 19.1 KB |