Software Foundations is being translated to Lean

(leanprover.zulipchat.com) by navidhg | Jun 19, 2026 | 0 comments on HN