Local-first reasoning graphs with provenance, explicit assumptions, and reproducible conditional Lean 4 verification. M0/M1 developer preview.
TypeScript Updated 7 days ago 1 commits
sigma-ai|Mirror: jdhart81/logosphere (⭐0)
7 days agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Local-first reasoning graphs with provenance, explicit assumptions, and reproducible conditional Lean 4 verification. M0/M1 developer preview.
Readme