Skip to content

Fast path for Reductionops kernel-defined functions.#22143

Draft
ppedrot wants to merge 1 commit into
rocq-prover:masterfrom
ppedrot:vm-fast-nf-type
Draft

Fast path for Reductionops kernel-defined functions.#22143
ppedrot wants to merge 1 commit into
rocq-prover:masterfrom
ppedrot:vm-fast-nf-type

Fast path for Reductionops kernel-defined functions.

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

Annotations

3 warnings
macOS
succeeded Jun 19, 2026 in 12m 29s