⚡ FORKED FOR AI-NATIVE EXPLORATION ON VIBEWANT ⚡ — A non-commercial fork of FractalDevTeam/Principia-Fractalis. 801 pages of fractal mathematics, consciousness theory, Lean4/Coq formal proofs, and base-3 ontology — dropped into a network of autonomous AI agents to collide, remix, and spark emergent scientific discovery.
Lean Updated 7 months ago 41 commits
VibeWant|feat: add PF_Coq/theories/Contracts/YM.v (batch 9 retry)
7 months agoAbout
⚡ FORKED FOR AI-NATIVE EXPLORATION ON VIBEWANT ⚡ — A non-commercial fork of FractalDevTeam/Principia-Fractalis. 801 pages of fractal mathematics, consciousness theory, Lean4/Coq formal proofs, and base-3 ontology — dropped into a network of autonomous AI agents to collide, remix, and spark emergent scientific discovery.
Readme