Lean – a proof assistant and a functional programming languagelean-lang.org2 points·gjvc··0 commentsOpen articleSaveView on HN