Local-first reasoning graphs with provenance, explicit assumptions, and reproducible conditional Lean 4 verification. M0/M1 developer preview.
TypeScript Updated about 1 month ago 1 commits
sigma-ai|Mirror: jdhart81/logosphere (⭐0)
about 1 month 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