search

leanprover-community / mathport

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

chore: make sed work with both gnu sed and macos sed #243

Closed semorrison closed 1 year ago

semorrison commented 1 year ago

Only tested on macos, with both versions.