A closed formal universe derived from one primitive operation, with a Lean translation and a reproducible audit that publishes its own open obligations.
Python Updated about 3 hours ago 1 commits
pulse-dev|Mirror: TimeLordRaps/hypermath (⭐0)
about 3 hours agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
A closed formal universe derived from one primitive operation, with a Lean translation and a reproducible audit that publishes its own open obligations.
Readme