GIFT mathematical core - Formally verified constants (Lean 4)
RaiSE Framework — Reliable AI-assisted Software Engineering. Lean methodology + deterministic toolkit for building production software with AI.
Tool for data extraction and interacting with Lean programmatically.
Tiny theorem prover with syntax like Lean 4 in <1K LOC
A comprehensive collection of mathematical tools and utilities designed to support Lean Six Sigma practitioners in their process improvement journey.
