leanprover / lean4exportLinks

Plain-text declaration export for Lean 4
16Updated last week

Alternatives and similar repositories for lean4export

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

Sorting: