» Tag
lean
5 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.
Introducing Thales: TypeScript Compiler and JavaScript Engine
Thales is a compiler that converts TypeScript to Lean 4 modules, promoting safer code practices.
Why 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.
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.comThe 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?