L leanprover.zulipchat.com Software Foundations being translated to Lean 3 points navidhg 4 months ago 1 comments
