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