Wojciech Karpiel
be9be5346c
co ja robię ze swoim życiem
|
9 kuukautta sitten | |
|---|---|---|
| Wygryw | 9 kuukautta sitten | |
| .gitignore | 10 kuukautta sitten | |
| README.md | 10 kuukautta sitten | |
| Wygryw.lean | 10 kuukautta sitten | |
| lake-manifest.json | 10 kuukautta sitten | |
| lakefile.lean | 10 kuukautta sitten | |
| lean-toolchain | 10 kuukautta sitten |
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