Skip to content

Make dependent elimination compatible with Set Mangle Names - #734

Open
thomas-lamiaux wants to merge 1 commit into
rocq-prover:mainfrom
thomas-lamiaux:fix-mangle-names-733
Open

Make dependent elimination compatible with Set Mangle Names#734
thomas-lamiaux wants to merge 1 commit into
rocq-prover:mainfrom
thomas-lamiaux:fix-mangle-names-733

Make dependent elimination compatible with Set Mangle Names (#733)

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

Annotations

1 error
rocq-core
failed Jul 25, 2026 in 5s