GoKawiil - Tech News

Topics: Today This Week This Month This Year

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

Today's top topics: openai