1
From Zero to QED: An informal introduction to formality with Lean 4
An informal introduction to formality in Lean 4
Stephen Diehl
- Popular posts
- 2
- Total points
- 245
- HN comments
- 30
- Rank
- #10,738 personal
Visit sdiehl.github.io → On Hacker News Sep 2013 – Dec 2025
2
Gevent For the Working Python Developer
The structure of this tutorial assumes an intermediate level knowledge of Python but not much else. No knowledge of concurrency is expected. The goal is to give you the tools you need to get going with gevent, help you tame your existing concurrency problems and start writing asynchronous applications today.