/leanblueprint

plasTeX plugin to build formalization blueprints.

Primary LanguagePythonApache License 2.0Apache-2.0

Watchers