Lean 정리 증명기 Mathlib

발행: 2일 전 (2025년 12월 14일 오전 10:49 GMT+9)

1 min read

Source: Hacker News

Details

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

오픈소스 유지보수자는 이 느낌을 너무나도 잘 안다: 여러분은 라이브러리, 툴, 혹은 프레임워크를 만드는 데 수 시간을 쏟는다… 여러분은 그것을 전 세계에 공개한다… 그리고 나서: > “He...

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

번역하려는 텍스트를 제공해 주시겠어요?