GoKawiil - Tech News

Topics: Today This Week This Month This Year

Some Junk Theorems in Lean (news.ycombinator.com)

2025-12-23 | get Lean Theory → | tags: coordinate, equal, langle

Today's top topics: google apple openai anthropic meta pixel 11 android authority android samsung amazon