olean -> oleans - Githubissues

leanprover-community / mathport

Mathport is a tool for porting Lean3 projects to Lean4

Apache License 2.0

40 stars 15 forks source link

Closed kbuzzard closed 9 months ago

kbuzzard commented 9 months ago

I just ran mathport on a second project on my computer and noticed this minor glitch in the docs.