Hacker News new | ask | show | jobs
The Natural Number Game: Proving Theorems with Lean (youtube.com)
1 points by peterbhnews 1459 days ago