▲ 3 pointsThe hitchhiker's guide to reading Lean 4 theoremsblog.lambdaclass.comby wslh·4mo ago·0 comments·view on hn ↗