LLM4Rocq / nlirLinks

Automatic theorem proving via natural language reasoning with LLMs
16Updated 3 weeks ago

Alternatives and similar repositories for nlir

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

Sorting: