issues
search
PatrickMassot
/
leanblueprint
plasTeX plugin to build formalization blueprints.
Apache License 2.0
158
stars
25
forks
source link
add upgrade instructions
#18
Closed
kbuzzard
closed
5 months ago