Lean (Proof Assistant) #1 Post by laowantong » Thu, Jun 13, 2024, 6:42 AM UTC Lean (Proof Assistant)en.wikipedia.org