| | From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io) |
| 145 points by rwosync 3 months ago | past | 21 comments |
|
| | Typechecker Zoo (sdiehl.github.io) |
| 1 point by frutiger 7 months ago | past |
|
| | Typechecker Zoo (sdiehl.github.io) |
| 193 points by todsacerdoti 7 months ago | past | 31 comments |
|
| | Gevent for the Working Python Developer (sdiehl.github.io) |
| 30 points by whalesalad on Aug 29, 2022 | past | 1 comment |
|
| | gevent for the Working Python Developer (sdiehl.github.io) |
| 2 points by keewee7 on Nov 5, 2021 | past |
|
| | Gevent for the Working Python Developer (sdiehl.github.io) |
| 1 point by giis on May 16, 2015 | past |
|
| | Gevent Tutorial (sdiehl.github.io) |
| 1 point by aburan28 on Aug 10, 2014 | past |
|
| | Gevent For the Working Python Developer (sdiehl.github.io) |
| 100 points by plessthanpt05 on Sept 28, 2013 | past | 9 comments |
|
