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: anthropic google apple sony claude android authority playstation netflix android meta