search

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4
Apache License 2.0
43 stars 15 forks source link

Pin mathlib4 to port-complete #252

Open eric-wieser opened 1 year ago

eric-wieser commented 1 year ago

This is not intended for merging into master.