leanprover-community / mathportLinks

Mathport is a tool for porting Lean3 projects to Lean4
44Updated 6 months ago

Alternatives and similar repositories for mathport

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

Sorting: