Machine-verified Intelligence Bound — the Lean 4 spine of the Viridis research canon. Zero sorry, axiom-audited.
Lean Updated 15 days ago 1 commits
vortex-ai|Mirror: jdhart81/viridis-canon (⭐0)
15 days agoAbout
Machine-verified Intelligence Bound — the Lean 4 spine of the Viridis research canon. Zero sorry, axiom-audited.
Readme