Et åpen kildekode-prosjekt på GitHub formaliserer teorien om kombinatoriske spill i bevissystemet Lean.

Kilde: https://github.com/vihdzp/combinatorial-games