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

2026-07-03 | tags: youtube, the mandela catalogue, dario argento

“Why not just use Lean?” (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: lean, automath, de bruijn

"Why not just use Lean?" (news.ycombinator.com)

2026-04-27 | get Lean Software Development Book → | tags: automath, lean, de bruijn

Broken Proofs and Broken Provers (news.ycombinator.com)

2026-02-04 | get Proofs → | tags: bugs, definitions, isabelle

Building venture-backable companies in heavily regulated spaces (techcrunch.com)

2025-12-19 | by Isabelle Johannessen | get Blockchain → | tags: build, build mode, isabelle

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

2025-12-12 | get Virtual Assistant → | tags: isabelle, language, proof

Today's top topics: google pixel 11 pixel watch 5 android authority apple samsung tensor g6 pixel 11 pro android gemini