Lean articles

1 articles about Lean, newest first.

• Lean Proofs Revolutionize Code Reliability: AI Rewrites zlib in Formal Verification — An AI rewrote zlib in Lean, generating 32,000 lines of proof. Humans own specs, machines own code and proof, and AWS uses Lean to certify Rust in production.