Back to search
Geometric construction environment for accessible formal verification. Build proofs, verify systems, and compose neural networks through spatial reasoning. Supports multiple formal methods (type theory, category theory, homotopy) with real-time verification. Designed accessibility-first for blind, neurodivergent, and post-injury users.
Stars
1
Forks
0
Watchers
1
Open Issues
13
Overall repository health assessment
No language data available
No package.json found
This might not be a Node.js project
4
commits
Merge pull request #2 from TensorHusker/add-claude-github-actions-1759622523942
f89ccc8View on GitHub