Skip to content
Tech News
clear
Topics: Today This Week This Month This Year
1.
The Proof Machine (2016) (news.ycombinator.com)
2026-07-27 | tags: proof assistant, isabelle, propositional logic
2.
An introduction to formal proof verification and the Curry-Howard Correspondence (news.ycombinator.com)
2026-07-25 | tags: lean, rocq, curry-howard
3.
Type checker may be wrong – Lean and the Curry-Howard correspondence (news.ycombinator.com)
2026-07-25 | tags: lean, curry-howard, proof assistants
4.
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem (news.ycombinator.com)
2026-03-28 | tags: knuth, claude cycles, proof assistant
5.
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
6.
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
7.
Mistral Releases Leanstral (news.ycombinator.com)
2026-03-16 | get Mistral Leanstral AI Model → | tags: leanstral, mistral, lean 4
Today's top topics: openai anthropic cybersecurity apple android authority android google spider-man hugging face spacex
View all today's topics →

© 2026 GoKawiil | 7 articles displayed

About | Editorial Policy | Contact