Back to search
Logical Reasoning Engine and Interactive Knowledge Graph for Proof-Based Math (WIP)
Stars
0
Forks
0
Watchers
0
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
18
commits
fixed graph_builder.py so that verify_proof route is called to check if proof is valid
d7dd0b8View on GitHub