search

PatrickMassot / leanblueprint

plasTeX plugin to build formalization blueprints.
Apache License 2.0
170 stars 28 forks source link

Add missing `Blueprint (pdf)` button in Jekyll template #44

Closed pitmonticone closed 2 months ago