Lean Game Server: A repo of learning games for Lean | Hacker News - But Better

Lean Game Server: A repo of learning games for Lean adam.math.hhu.de

2 points•crescit_eundo•about 3 hours ago•1 comment•

#lean #server #game #repo #learning games #game server #lean game #lean game server

1 comment

crescit_eundoabout 3 hours ago

Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"

Read the full thread on Hacker News →

Related stories

Show HN: Our space game has a built-in RISC-V emulator that runs Linuxagainstallodds.games
Hacker News · 17 points · about 19 hours ago
Show HN: I-server: Hide server using ICMP reflection/Destination Unreachablegithub.com
Hacker News · 4 points · 13 days ago
What I Learned Writing a Game Server in Erlangyoutube.com
Lobsters · 10 points · over 9 years ago
The Nine-Person Game Team Will Soon Outperform a AAA Game Studioclairvoyanceai.com
Hacker News · 2 points · 7 days ago
Show HN: Press Start – A Playable Museum of Video Game Historyjoeyazizoff.com
Hacker News · 1 points · 4 days ago
Show HN: Trade Lord, inspired by Drug Lord 2, quick daily leaderboard gametradelord.theboyvr.com
Hacker News · 1 points · 4 days ago