#Lean

• 給數學新手的 Lean 導讀：為什麼電腦檢查過的證明比同行審查更可信？
  2026-09-18