Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
A Lean Syntax Primer — overreacted
Programming with proofs.
| overreacted.io
Lean for JavaScript Developers — overreacted
Programming with proofs.
| overreacted.io
Beyond Booleans — overreacted
What is the type of 2 + 2 = 4?
| overreacted.io
