2주 전 · software

대규모로 Lean 실행

번역할 텍스트를 제공해 주시겠어요?

1개월 전 · software

Lean 정리 증명기 mathlib

기사 URL: https://github.com/leanprover-community/mathlib4 댓글 URL: https://news.ycombinator.com/item?id=46260128 포인트: 34 댓글: 0

1개월 전 · software

Lean 정리 증명기 Mathlib

기사 URL: https://github.com/leanprover-community/mathlib4 댓글 URL: https://news.ycombinator.com/item?id=46260128 포인트: 8 댓글: 0...