Open Issues Need Help
View All on GitHub Planned major dependency upgrades 23 days ago
help wanted dependencies
jdhart81/logosphere jdhart81/logosphere Local-first reasoning graphs with provenance, explicit assumptions, and reproducible conditional Lean 4 verification. M0/M1 developer preview.
Open project →
0
Local-first reasoning graphs with provenance, explicit assumptions, and reproducible conditional Lean 4 verification. M0/M1 developer preview.
TypeScript
#browser-extension#formal-verification#lean4#local-first#mcp#reasoning-graphs