GoKawiil - Tech News

Topic Analysis: Today This Week This Month This Year

50 years of proof assistants (news.ycombinator.com)

2025-12-12 | related products | tags: isabelle, language, proof

Today's top topics: google apple pixel americans americans simple bomb bomb cities cities android cnet