Why Not Use Lean?(lawrencecpaulson.github.io)6 points·by baruchel·3 miesiące temu·0 commentslawrencecpaulson.github.ioWhy Not Use Lean?https://lawrencecpaulson.github.io//2026/04/23/Why_not_Lean.html0 commentsPost comment—