GoKawiil - Tech News

Topics: Today This Week This Month This Year

The Proof Machine (2016) (news.ycombinator.com)

2026-07-27 | tags: proof assistant, isabelle, propositional logic

Leanstral 1.5 (news.ycombinator.com)

2026-06-30 | get Leanstral 1.5 Keyboard → | tags: lean 4, formal proof, theorem proving

Today's top topics: disney apple marvel star wars android kalshi pixar math high-school dropout memory chips