Lean 정리 증명기 mathlib
발행: (2025년 12월 14일 오전 10:49 GMT+9)
1 min read
원문: Hacker News
Source: Hacker News
세부 정보
- Article URL: https://github.com/leanprover-community/mathlib4
- Comments URL: https://news.ycombinator.com/item?id=46260128
- Points: 34
- Comments: 0