OAI/GameTheory/SnakyTwentyOne/Semantics/
54 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- Game.lean 14 declarations
- Geometry.lean 20 declarations
- Policy.lean 14 declarations
- Replies.lean 6 declarations