Last released Apr 30, 2024
Lean prover blueprint plasTeX plugin.
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