https://github.com/jarlg/Yoneda-Ext
Revision c853817dadc30cc257f0f472400118d592a979e8 authored by Jarl G. Taxeraas Flaten on 21 February 2023, 16:59:02 UTC, committed by Jarl G. Taxeraas Flaten on 21 February 2023, 16:59:02 UTC
1 parent 3da1df4
Tip revision: c853817dadc30cc257f0f472400118d592a979e8 authored by Jarl G. Taxeraas Flaten on 21 February 2023, 16:59:02 UTC
first cleanup pass
first cleanup pass
Tip revision: c853817
| 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-- | 317 bytes |
| README.md | -rw-r--r-- | 12 bytes |
| SixTerm.v | -rw-r--r-- | 2.0 KB |
| XII_5.v | -rw-r--r-- | 19.1 KB |
Computing file changes ...
README.md
Loading README.md ...
