Last released Oct 26, 2023
Some scripts to help manipulate Coq developments and minimize error-producing Coq code
Supported by