Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
Are We Stuck with Lean? (news.ycombinator.com)
2026-07-30 | tags: lean, theorem prover, mathlib
2.
ATLAS: Autoformalized Textbook Library At Scale (news.ycombinator.com)
2026-05-28 | get Automated Formal Logic Textbook → | tags: lean 4, atlas, autoformalization
3.
Automatic Textbook Formalization (news.ycombinator.com)
2026-04-03 | get AI Writing Assistant Software → | tags: lean, repoprover, algebraic combinatorics
Today's top topics: apple openai google chatgpt meta airpods android authority amazon macos fairphone
View all today's topics →

© 2026 GoKawiil | 3 articles displayed

About | Editorial Policy | Contact