search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
171 stars 29 forks source link

Update CI template #37

Closed pitmonticone closed 4 months ago