Corrections to readme and makefile

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

40 stars 15 forks source link

Closed hrmacbeth closed 1 year ago

hrmacbeth commented 1 year ago

Hopefully addresses some issues encountered while @digama0 helped me debug running oneshot on a mac.