Lean 4 Proofs Repository
Browse and verify the formal proofs backing the Innovate360 ecosystem.
Independently Verifiable
All theorems related to the Hari-Frobenius Framework (HFF) and the corresponding Cayley Algebraic Compiler (CAC) functions are rigorously checked by the Lean 4 kernel.
You can view the active proof derivation graph in the Lean 4 Pipeline section.