legal-lean
LegalLean: Verified Legal Reasoning in Lean 4. Framework for encoding laws as machine-checkable types with FormalisationBoundary encoding Hart's open texture.
Sort by
Require Order
mathlib
v4.29.1The math library of Lean 4
legal-leanv4.29.1