GoKawiil - Tech News

Topics: Today This Week This Month This Year

Formalizing Fermat's Last Theorem (news.ycombinator.com)

2026-09-04 | get Fermat's Enigma Simon Singh book → | tags: fermats last theorem, lean proof assistant, imperial college london

Palomar: A registry of Lean verified mathematics (news.ycombinator.com)

2026-08-19 | by Terence Tao | tags: lean proof assistant, palomar registry, github repositories

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

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

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (news.ycombinator.com)

2026-03-28 | tags: knuth, claude cycles, proof assistant

Leanstral: Open-source agent for trustworthy coding and formal proof engineering (news.ycombinator.com)

2026-03-16 | get Lean Theorem Prover → | tags: lean4, leanstral, mistral

Leanstral: Open-Source foundation for trustworthy vibe-coding (news.ycombinator.com)

2026-03-16 | get Open-Source Coding Toolkit → | tags: leanstral, lean 4, mistral vibe

Mistral Releases Leanstral (news.ycombinator.com)

2026-03-16 | get Mistral Leanstral AI Model → | tags: leanstral, mistral, lean 4

Today's top topics: anthropic apple openai google ai safety iphone duo ios 27 iphone 18 pro dario amodei android