返回列表
翻译文章
原文
A Lean Syntax Primer
overreacted.io
2025年09月02日 00:00
Programming with proofs.