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.
34Updated this week

Alternatives and similar repositories for natty

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

Sorting: