← All status

Proving

Proving

Lean4 axiomatic kernel for the legal domain. RICO + Title VI + §§ 1981/1983/1985(3). Predicates return ⟨bool, evidence, citation⟩; the kernel does no I/O.

version 623bc019a1f2
source proving/lake-manifest.json@623bc019a1f2
built 2026-05-04T19:11:03Z
DEGRADED

Frameworks — module readiness

One node per Lean module. Focused = predicates + axioms compile under the current toolchain.

Frameworks — module readiness One node per Lean module. Focused = predicates + axioms compile under the current toolchain. civil RICO 18 U.S.C. §§ 1961–1968 Title VI 42 U.S.C. §§ 2000d et seq. § 1981 42 U.S.C. § 1981 § 1983 42 U.S.C. § 1983 § 1985(3) 42 U.S.C. § 1985(3)

Metrics

frameworkCount
5
frameworksPresent
2