OAI/GameTheory/SnakyTwentyOne/Certificate/
31 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- Operations.lean 12 declarations
- Summary.lean 19 declarations
OAI/GameTheory/SnakyTwentyOne/Certificate/31 declarations, 0 contain sorry, 0 declared as axioms; 2 files