overlay equations https://github.com/ppedrot/Coq-Equations econstr-inductiveops-api 18935

overlay paramcoq https://github.com/ppedrot/paramcoq econstr-inductiveops-api 18935

overlay lean_importer https://github.com/ppedrot/coq-lean-import econstr-inductiveops-api 18935
