Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
Stars
40
Forks
2
Watchers
40
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project