Hacker News new | ask | show | jobs
Lean – a proof assistant and a functional programming language (lean-lang.org)
2 points by gjvc 8 days ago