An interactive 60 FPS WebGL2 / GLSL Differential Geometry & Lean 4 Formal Verification Workstation engineered to visualize, manipulate, and formally audit frontier theorems in Quantum Gravity, Riemannian 4-Manifold Topology, Random Planar Map Scaling Limits, Holographic Quantum Error Correction, and
TypeScript Updated 18 days ago 1 commits 1 stars
pulse-dev|Mirror: AndrewMason7/sub-spacetime-studio (⭐1)
18 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
An interactive 60 FPS WebGL2 / GLSL Differential Geometry & Lean 4 Formal Verification Workstation engineered to visualize, manipulate, and formally audit frontier theorems in Quantum Gravity, Riemannian 4-Manifold Topology, Random Planar Map Scaling Limits, Holographic Quantum Error Correction, and
Readme
1 stars