Skip to content

Defunctionalize the proof term in Rewrite internals.#22046

Open
ppedrot wants to merge 2 commits into
rocq-prover:masterfrom
ppedrot:rewrite-defunctionalize-proof
Open

Defunctionalize the proof term in Rewrite internals.#22046
ppedrot wants to merge 2 commits into
rocq-prover:masterfrom
ppedrot:rewrite-defunctionalize-proof

Add a test extracted from PR #22046.

521024c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Windows
succeeded Jun 17, 2026 in 33m 32s