Talk:Lean
(Redirected from Talk:Lean Theorem Prover)
Start a discussion about Lean
Talk pages are where people discuss how to make content on ArchWiki the best that it can be. You can use this page to start a discussion with others about how to improve Lean.