Skip to content

Update tactics/elimschemes.ml

6adba70
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

feat: Generate sort poly scheme with elim constraints #21567

Update tactics/elimschemes.ml
6adba70
Select commit
Loading
Failed to load commit list.

Annotations

1 error
Linux (latest OCaml)
failed Feb 2, 2026 in 6m 21s