combinatorial-games
Combinatorial game library in Lean 4
About
Combinatorial game library in Lean 4
Languages
Contributors7
No features listed.
Comments Theme
Combinatorial game library in Lean 4
Combinatorial game library in Lean 4
No features listed.
