OAI/GameTheory/SnakyTwentyOne/Cards/
29208 declarations, 0 contain sorry, 0 declared as axioms; 86 files
Files
- Height01Part01.lean 48 declarations
- Height02Part01.lean 432 declarations
- Height02Part02.lean 324 declarations
- Height03Part01.lean 432 declarations
- Height03Part02.lean 432 declarations
- Height03Part03.lean 396 declarations
- Height04Part01.lean 432 declarations
- Height04Part02.lean 432 declarations
- Height04Part03.lean 432 declarations
- Height04Part04.lean 396 declarations
- Height04Part05.lean 198 declarations
- Height05Part01.lean 432 declarations
- Height05Part02.lean 432 declarations
- Height05Part03.lean 432 declarations
- Height05Part04.lean 396 declarations
- Height05Part05.lean 414 declarations
- Height05Part06.lean 414 declarations
- Height05Part07.lean 36 declarations
- Height06Part01.lean 414 declarations
- Height06Part02.lean 414 declarations
- Height06Part03.lean 414 declarations
- Height06Part04.lean 360 declarations
- Height06Part05.lean 396 declarations
- Height06Part06.lean 396 declarations
- Height07Part01.lean 414 declarations
- Height07Part02.lean 414 declarations
- Height07Part03.lean 396 declarations
- Height07Part04.lean 432 declarations
- Height07Part05.lean 414 declarations
- Height07Part06.lean 72 declarations
- Height08Part01.lean 414 declarations
- Height08Part02.lean 378 declarations
- Height08Part03.lean 396 declarations
- Height08Part04.lean 414 declarations
- Height08Part05.lean 378 declarations
- Height09Part01.lean 396 declarations
- Height09Part02.lean 324 declarations
- Height09Part03.lean 378 declarations
- Height09Part04.lean 396 declarations
- Height09Part05.lean 252 declarations
- Height09Part06.lean 342 declarations
- Height09Part07.lean 378 declarations
- Height09Part08.lean 306 declarations
- Height10Part01.lean 414 declarations
- Height10Part02.lean 414 declarations
- Height10Part03.lean 414 declarations
- Height10Part04.lean 360 declarations
- Height10Part05.lean 378 declarations
- Height10Part06.lean 396 declarations
- Height10Part07.lean 108 declarations
- Height11Part01.lean 342 declarations
- Height11Part02.lean 378 declarations
- Height11Part03.lean 324 declarations
- Height11Part04.lean 360 declarations
- Height11Part05.lean 414 declarations
- Height11Part06.lean 270 declarations
- Height12Part01.lean 396 declarations
- Height12Part02.lean 414 declarations
- Height12Part03.lean 396 declarations
- Height12Part04.lean 360 declarations
- Height12Part05.lean 306 declarations
- Height13Part01.lean 324 declarations
- Height13Part02.lean 396 declarations
- Height13Part03.lean 414 declarations
- Height13Part04.lean 288 declarations
- Height13Part05.lean 324 declarations
- Height13Part06.lean 324 declarations
- Height13Part07.lean 126 declarations
- Height14Part01.lean 414 declarations
- Height14Part02.lean 396 declarations
- Height14Part03.lean 360 declarations
- Height14Part04.lean 252 declarations
- Height15Part01.lean 378 declarations
- Height15Part02.lean 396 declarations
- Height15Part03.lean 378 declarations
- Height15Part04.lean 162 declarations
- Height16Part01.lean 378 declarations
- Height16Part02.lean 252 declarations
- Height16Part03.lean 180 declarations
- Height17Part01.lean 270 declarations
- Height17Part02.lean 180 declarations
- Height18Part01.lean 342 declarations
- Height18Part02.lean 162 declarations
- Height19Part01.lean 54 declarations
- Height20Part01.lean 198 declarations
- Height21Part01.lean 18 declarations