medovina / nattyLinks

Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of development.
36Updated 3 weeks ago

Alternatives and similar repositories for natty

Users that are interested in natty are comparing it to the libraries listed below

Sorting: