`OAI/GameTheory/SnakyConditional/Templates/`

16991 declarations, 0 contain sorry, 0 declared as axioms; 199 files

Files

Level03Part01.lean 3 declarations
Level03Part02.lean 3 declarations
Level03Part03.lean 3 declarations
Level03Part04.lean 3 declarations
Level03Part05.lean 3 declarations
Level03Part06.lean 3 declarations
Level04Part01.lean 20 declarations
Level04Part02.lean 20 declarations
Level04Part03.lean 20 declarations
Level04Part04.lean 20 declarations
Level04Part05.lean 20 declarations
Level04Part06.lean 10 declarations
Level05Part01.lean 50 declarations
Level05Part02.lean 50 declarations
Level05Part03.lean 50 declarations
Level05Part04.lean 50 declarations
Level05Part05.lean 50 declarations
Level05Part06.lean 50 declarations
Level05Part07.lean 50 declarations
Level05Part08.lean 20 declarations
Level06Part01.lean 70 declarations
Level06Part02.lean 70 declarations
Level06Part03.lean 70 declarations
Level06Part04.lean 70 declarations
Level06Part05.lean 70 declarations
Level06Part06.lean 70 declarations
Level06Part07.lean 70 declarations
Level06Part08.lean 10 declarations
Level07Part01.lean 70 declarations
Level07Part02.lean 70 declarations
Level07Part03.lean 70 declarations
Level07Part04.lean 70 declarations
Level07Part05.lean 70 declarations
Level07Part06.lean 70 declarations
Level07Part07.lean 70 declarations
Level07Part08.lean 40 declarations
Level08Part01.lean 70 declarations
Level08Part02.lean 70 declarations
Level08Part03.lean 70 declarations
Level08Part04.lean 70 declarations
Level08Part05.lean 70 declarations
Level08Part06.lean 70 declarations
Level08Part07.lean 70 declarations
Level08Part08.lean 20 declarations
Level09Part01.lean 60 declarations
Level09Part02.lean 60 declarations
Level09Part03.lean 60 declarations
Level09Part04.lean 60 declarations
Level09Part05.lean 60 declarations
Level09Part06.lean 60 declarations
Level09Part07.lean 60 declarations
Level09Part08.lean 40 declarations
Level10Part01.lean 70 declarations
Level10Part02.lean 70 declarations
Level10Part03.lean 70 declarations
Level10Part04.lean 70 declarations
Level10Part05.lean 70 declarations
Level10Part06.lean 70 declarations
Level10Part07.lean 70 declarations
Level10Part08.lean 20 declarations
Level11Part01.lean 60 declarations
Level11Part02.lean 60 declarations
Level11Part03.lean 60 declarations
Level11Part04.lean 60 declarations
Level11Part05.lean 60 declarations
Level11Part06.lean 60 declarations
Level11Part07.lean 60 declarations
Level11Part08.lean 30 declarations
Level12Part01.lean 50 declarations
Level12Part02.lean 50 declarations
Level12Part03.lean 50 declarations
Level12Part04.lean 50 declarations
Level12Part05.lean 50 declarations
Level12Part06.lean 50 declarations
Level12Part07.lean 50 declarations
Level12Part08.lean 40 declarations
Level13Part01.lean 50 declarations
Level13Part02.lean 50 declarations
Level13Part03.lean 50 declarations
Level13Part04.lean 50 declarations
Level13Part05.lean 50 declarations
Level13Part06.lean 50 declarations
Level13Part07.lean 30 declarations
Level14Part01.lean 40 declarations
Level14Part02.lean 40 declarations
Level14Part03.lean 40 declarations
Level14Part04.lean 40 declarations
Level14Part05.lean 40 declarations
Level14Part06.lean 40 declarations
Level14Part07.lean 40 declarations
Level15Part01.lean 30 declarations
Level15Part02.lean 30 declarations
Level15Part03.lean 30 declarations
Level15Part04.lean 30 declarations
Level15Part05.lean 30 declarations
Level15Part06.lean 30 declarations
Level15Part07.lean 24 declarations
Level16Part01.lean 30 declarations
Level16Part02.lean 30 declarations
Level16Part03.lean 30 declarations
Level16Part04.lean 30 declarations
Level16Part05.lean 30 declarations
Level16Part06.lean 30 declarations
Level16Part07.lean 15 declarations
Level17Part01.lean 20 declarations
Level17Part02.lean 20 declarations
Level17Part03.lean 20 declarations
Level17Part04.lean 20 declarations
Level17Part05.lean 20 declarations
Level17Part06.lean 24 declarations
Level18Part01.lean 10 declarations
Level18Part02.lean 10 declarations
Level18Part03.lean 10 declarations
Level18Part04.lean 10 declarations
Level18Part05.lean 10 declarations
Level18Part06.lean 10 declarations
Level18Part07.lean 10 declarations
Level19Part01.lean 20 declarations
Level19Part02.lean 20 declarations
Level19Part03.lean 20 declarations
Level19Part04.lean 32 declarations
Level19Part05.lean 15 declarations
Level20Part01.lean 20 declarations
Level20Part02.lean 20 declarations
Level20Part03.lean 20 declarations
Level20Part04.lean 23 declarations
Level20Part05.lean 12 declarations
Level21Part01.lean 20 declarations
Level21Part02.lean 20 declarations
Level21Part03.lean 20 declarations
Level21Part04.lean 25 declarations
Level21Part05.lean 37 declarations
Level22Part01.lean 10 declarations
Level22Part02.lean 10 declarations
Level22Part03.lean 10 declarations
Level22Part04.lean 10 declarations
Level22Part05.lean 10 declarations
Level22Part06.lean 10 declarations
Level22Part07.lean 10 declarations
Level22Part08.lean 14 declarations
Level23Part01.lean 20 declarations
Level23Part02.lean 20 declarations
Level23Part03.lean 20 declarations
Level23Part04.lean 20 declarations
Level23Part05.lean 27 declarations
Level23Part06.lean 29 declarations
Level23Part07.lean 89 declarations
Level24Part01.lean 20 declarations
Level24Part02.lean 20 declarations
Level24Part03.lean 30 declarations
Level24Part04.lean 282 declarations
Level24Part05.lean 141 declarations
Level25Part01.lean 14 declarations
Level25Part02.lean 15 declarations
Level25Part03.lean 15 declarations
Level25Part04.lean 15 declarations
Level25Part05.lean 13 declarations
Level25Part06.lean 140 declarations
Level25Part07.lean 141 declarations
Level26Part01.lean 12 declarations
Level26Part02.lean 19 declarations
Level26Part03.lean 15 declarations
Level26Part04.lean 52 declarations
Level26Part05.lean 41 declarations
Level26Part06.lean 145 declarations
Level26Part07.lean 140 declarations
Level27Part01.lean 28 declarations
Level27Part02.lean 31 declarations
Level27Part03.lean 137 declarations
Level27Part04.lean 137 declarations
Level27Part05.lean 139 declarations
Level28Part01.lean 28 declarations
Level28Part02.lean 137 declarations
Level28Part03.lean 137 declarations
Level28Part04.lean 148 declarations
Level29Part01.lean 46 declarations
Level29Part02.lean 137 declarations
Level29Part03.lean 137 declarations
Level29Part04.lean 25 declarations
Level29Part05.lean 141 declarations
Level29Part06.lean 32 declarations
Level30Part01.lean 137 declarations
Level30Part02.lean 137 declarations
Level30Part03.lean 138 declarations
Level31Part01.lean 280 declarations
Level31Part02.lean 304 declarations
Level31Part03.lean 536 declarations
Level31Part04.lean 567 declarations
Level31Part05.lean 511 declarations
Level32Part01.lean 269 declarations
Level32Part02.lean 272 declarations
Level32Part03.lean 1277 declarations
Level33Part01.lean 267 declarations
Level33Part02.lean 318 declarations
Level34Part01.lean 349 declarations
Level34Part02.lean 318 declarations
Level35Part01.lean 1609 declarations
Level36Part01.lean 1197 declarations
Operations.lean 111 declarations