GitHub repository: mo271/leanblueprint
Primary language: Python
Description: plasTeX plugin to build formalization blueprints.