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