Last released Oct 3, 2024
Convert matplotlib figures into TikZ/PGFPlots. Version of tikzplotlib patched with additional patches.
Last released Oct 26, 2023
Some scripts to help manipulate Coq developments and minimize error-producing Coq code
Supported by