Lean 정리 증명기 Mathlib

발행: 1개월 전 (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

소개 개발자들이 JavaScript를 배우면서 “first‑class functions”라는 용어가 토론과 문서에서 자주 등장합니다. JavaScript에서 함수는 …

죄송합니다만, 번역하려는 텍스트를 제공해 주시면 한국어로 번역해 드리겠습니다.

TL;DR 나는 IP 주소를 국가, 미국 주, 그리고 심지어 도시까지 확인할 수 있는 CLI 도구를 만들었습니다. GitHub – geolocation-tool https://github.com/jimaek/geolocation...