New top story on Hacker News: Lean – Theorem Prover

Lean – Theorem Prover
7 by thunderbong | 1 comments on Hacker News.


January 21, 2023 at 12:34AM thunderbong 7 https://ift.tt/Weyrjwn Lean – Theorem Prover 1 https://ift.tt/ondm0A6

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

New top story on Hacker News: Ask HN: Who wants to be hired? (July 2026)

Ask HN: Who wants to be hired? (July 2026) 33 by whoishiring | 92 comments on Hacker News. Share your information if you are looking for work. Please use this format: Location: Remote: Willing to relocate: Technologies: Résumé/CV: Email: Please only post if you are personally looking for work. Agencies, recruiters, job boards, and so on, are off topic here. Readers: please only email these addresses to discuss work opportunities. Searchers: try https://ift.tt/zy6SLd0 , https://ift.tt/PAiGcBp . July 1, 2026 at 10:01PM whoishiring 33 https://ift.tt/owHFZ0G Ask HN: Who wants to be hired? (July 2026) 92 Share your information if you are looking for work. Please use this format: Location: Remote: Willing to relocate: Technologies: Résumé/CV: Email: Please only post if you are personally looking for work. Agencies, recruiters, job boards, and so on, are off topic here. Readers: please only email these addresses to discuss work opportunities. Searchers...
Đọc thêm