Formal Verification
Article
Category
Date
Read
The AI Arms Race Hits Mathematics: Lean 4.35.0 Deploys Verified Kernels
Formal Verification
Oct 18
1 min
The End of the 'Trust Me' Era: Meet Palomar, the Registry for Verified Math
Formal Verification
Aug 19
1 min