▲ 2 pointsLean is a theorem prover and programming languagelean-lang.orgby tzury·1y ago·0 comments·view on hn ↗