search

leanprover-community / mathport

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

Update README.md #213

Closed PatrickMassot closed 1 year ago

PatrickMassot commented 1 year ago

Based on https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Mathport.20oneshot/near/315528001