Skip to content

grouping hyps now works with ltac2.

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

Ltac2 version of Especialize #17

grouping hyps now works with ltac2.
acd120b
Select commit
Loading
Failed to load commit list.

Annotations

2 errors and 1 warning
build-and-test (rocq/rocq-prover:9.0)
cancelled Mar 24, 2026 in 2m 3s