ClueHacker News
Archiveverified release

Combinatorial Games in Lean

Posted by wertyk on 2026-07-11 · github.com

Discussion record

Score
40
Comments
5
Read
5

The discussion on Hacker News · The article

Full-thread reading

The retained reading has not passed independent publication checks. Its summary is withheld.

The summary gate never changes the score, comment count, story metadata, or retained-history figures above.