Lean Programming Language(lean-lang.org)3 points·by fagnerbrack·10 hari yang lalu·0 commentslean-lang.orgLean Programming Languagehttps://lean-lang.org/0 commentsPost comment—