Learn LEAN 4 Theorem Proving in an easy game

2026-10-13来源 Hacker News NewEnglish

Article URL: https://adam.math.hhu.de/#/g/leanprover-community/NNG4

Comments URL: https://news.ycombinator.com/item?id=50066074

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/learn-lean-4-theorem-proving-in-an-easy-game-21fd62.html

相关文章