Domů Procházet Nápověda
Přihlásit se
WojciechKarpiel
/
wygryw
Sledovat 1
Oblíbit 0
Rozštěpit 0
Soubory Úkoly 0 Pull Requesty 0 Wiki

Game Theory lemmas

Strom: be9be5346c
Větve Značky
wygryw
ZIP TAR.GZ
Wojciech Karpiel be9be5346c co ja robię ze swoim życiem před 9 měsíci
Wygryw be9be5346c co ja robię ze swoim życiem před 9 měsíci
.gitignore 09a7dae522 init před 10 měsíci
README.md d709b8904c CZYTAJMNIE před 10 měsíci
Wygryw.lean 09a7dae522 init před 10 měsíci
lake-manifest.json 6d8685edcc nie mam pojęcia co to ale jest w vc před 10 měsíci
lakefile.lean 09a7dae522 init před 10 měsíci
lean-toolchain 09a7dae522 init před 10 měsíci

README.md

Wygryw

Learning Lean by formalizing simple game theory lemmas. Nothing serious, just learning Lean

Lemmas so far:

  • Every deterministic game without draws has winning strategy for one of the players[1]

[1] The starting point for the proof is assuption that all possible gameplays of a deterministic game can be represented by a finite tree, which I have yet to formalise