Get the latest tech news

Combinatorial Games in Lean

Combinatorial game library in Lean 4. Contribute to vihdzp/combinatorial-games development by creating an account on GitHub.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of Lean

Lean

Photo of Combinatorial Games

Combinatorial Games

Related news:

“Why not just use Lean?”

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean

Lean proved this program correct; then I found a bug

« The best way to beat rising smartphone prices? Shop these refurbished phone deals for under $150.

America pays workers just 27% of what its wealth allows – the worst in the OECD »