» Tag
lean
7 postsFormally Verified 3D CSG: Trust a 93-Line Spec, Not 1000 Lines of AI Code
First formally verified 3D mesh intersection kernel in Lean 4: a 93-line spec replaces review of 1000+ lines of AI code and 60,000+ lines of proofs.
Flare: Verifying MILP Reformulations with LLM-Based Theorem Proving
FLARE combines an LLM agent with the Lean proof assistant to formally verify MILP reformulations, backed by a new 109-formulation benchmark.
Introducing Thales: TypeScript Compiler and JavaScript Engine
Thales is a compiler that converts TypeScript to Lean 4 modules, promoting safer code practices.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.comWhy Lean Outperforms Rust in Compression Speed
Lean's lean-zip library outperforms Rust's miniz_oxide in DEFLATE compression speed, thanks to Lean's validation capabilities and AI-driven optimizations.
The Lean Theorem Prover: Design and Evolution Overview
Lean plays a crucial role in formal verification and AI integration. Lean FRO was established in 2023.
Lean Software Production: The Future of Software Development
Lean Software Production emphasizes human-centric continuous improvement in software development. Why is this approach important for engineers?
How One Programming Language Rewrote Mathematics and Why Software Is Next
Lean programming language is revolutionizing mathematics and set to transform software verification.