Skip to content

Fix goal-tactic association in typeclass search#22037

Open
Janno wants to merge 6 commits into
rocq-prover:masterfrom
Janno:janno/tc-quadratic
Open

Fix goal-tactic association in typeclass search#22037
Janno wants to merge 6 commits into
rocq-prover:masterfrom
Janno:janno/tc-quadratic

Fix backtracking test case

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

Annotations

1 warning and 1 notice
Windows
succeeded May 19, 2026 in 36m 31s