vihdzpCombinatorialGames0.1.0

Combinatorial game library in Lean 4
#math
Displaying 1-1 of 1 packages depending on vihdzp/CombinatorialGames
Sort by

  1. gaearon/ConwayRefinementuses3c6dcdb

    A proof of Conway's refinement conjecture in Lean