OAI/Combinatorics/SnakyCertificate/
6994 declarations, 0 contain sorry, 0 declared as axioms; 51 files
Files
- Basic.lean 14 declarations
- Cache.lean 35 declarations
- CacheData00.lean 200 declarations
- CacheData01.lean 200 declarations
- CacheData02.lean 200 declarations
- CacheData03.lean 200 declarations
- CacheData04.lean 200 declarations
- CacheData05.lean 200 declarations
- CacheData06.lean 200 declarations
- CacheData07.lean 226 declarations
- CacheData08.lean 238 declarations
- CacheData09.lean 239 declarations
- CacheData10.lean 266 declarations
- CacheData11.lean 294 declarations
- CacheData12.lean 254 declarations
- CacheData13.lean 301 declarations
- CacheData14.lean 441 declarations
- CacheData15.lean 323 declarations
- Entries00.lean 100 declarations
- Entries01.lean 100 declarations
- Entries02.lean 100 declarations
- Entries03.lean 100 declarations
- Entries04.lean 100 declarations
- Entries05.lean 100 declarations
- Entries06.lean 10 declarations
- Equations00.lean 108 declarations
- Equations01.lean 120 declarations
- Equations02.lean 120 declarations
- Equations03.lean 120 declarations
- Equations04.lean 120 declarations
- Equations05.lean 120 declarations
- Equations06.lean 120 declarations
- Equations07.lean 120 declarations
- Equations08.lean 120 declarations
- Equations09.lean 120 declarations
- Equations10.lean 120 declarations
- Equations11.lean 120 declarations
- Equations12.lean 120 declarations
- Equations13.lean 120 declarations
- Equations14.lean 120 declarations
- Equations15.lean 48 declarations
- Heights.lean 117 declarations
- Invariants.lean 11 declarations
- Lists.lean 23 declarations
- Main.lean 7 declarations
- Reconstruction.lean 78 declarations
- Rows.lean 11 declarations
- Summaries.lean 9 declarations
- Table.lean 35 declarations
- TableList.lean 36 declarations
- TableValidity.lean 190 declarations