Get Started with Lean Proof Assistant(lean-lang.org)2 points·by digital55·há 2 meses·0 commentslean-lang.orgGet Started with Lean Proof Assistanthttps://lean-lang.org/0 commentsPost comment—