leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
42Updated 3 months ago

Alternatives and similar repositories for mathport:

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