10000 Adapt w.r.t. coq/coq#19931. by ppedrot · Pull Request #408 · Mtac2/Mtac2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Adapt w.r.t. coq/coq#19931.#408

Merged
Janno merged 1 commit intoMtac2:masterfrom
ppedrot:ring-clean-cclosure-internals
Dec 19, 2024
Merged

Adapt w.r.t. coq/coq#19931.#408
Janno merged 1 commit intoMtac2:masterfrom
ppedrot:ring-clean-cclosure-internals

Commits

Commits on Dec 19, 2024
0