Last released Dec 23, 2025
Lean prover blueprint plasTeX plugin.
Last released Jan 27, 2025
Dependency graph plugin for plasTeX.
Last released Jan 30, 2024
Show more buttons for plasTeX.
LaTeX document processing framework
Last released Dec 15, 2022
Lean prover mathlib supporting tools.
Supported by
