JasonGross / autoformalization-transpilationLinks

Using LLMs to transpile from Coq to Lean (public version, may be out of date)
19Updated 2 months ago

Alternatives and similar repositories for autoformalization-transpilation

Users that are interested in autoformalization-transpilation are comparing it to the libraries listed below

Sorting: