name: leanblueprint
description: Lean prover blueprint plasTeX plugin.
license_spdx: MIT
version: 0.0.8
spec_version: 1.0
home_url: https://github.com/PatrickMassot/leanblueprint
news_url: https://libraries.io/pypi/leanblueprint/versions.atom
date: 2024-04-30
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/leanblueprint?number=0.0.8
vcs_tool: git
vcs_repository: https://github.com/PatrickMassot/leanblueprint
vcs_branch: master
