Skip to content

Introduce an efficient typing rule for let-bindings in Typeops.#21678

Open
ppedrot wants to merge 2 commits intorocq-prover:masterfrom
ppedrot:preserve-let-in-kernel-the-return
Open

Introduce an efficient typing rule for let-bindings in Typeops.#21678
ppedrot wants to merge 2 commits intorocq-prover:masterfrom
ppedrot:preserve-let-in-kernel-the-return

Commits

Commits on Mar 5, 2026