Lean blueprints This is a plasTeX plugin allowing to write blueprints for Lean projects. Needs graphviz and its deve libraries. sudo apt install graphviz libgraphviz-dev