search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
158 stars 25 forks source link

Fix pip install instruction in README.md #15

Closed RemyDegenne closed 5 months ago

PatrickMassot commented 5 months ago

Sorry, I missed this PR and fixed it independently.