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