Lean – a proof assistant and a functional programming language(lean-lang.org)2 points by gjvc 28 days ago | 0 commentsNo comments yet