Phase-1 matcher#483

Merged

nikswamy merged 23 commits intomainfrom

gebner_phase1_matcher

Oct 30, 2025

Commits on Sep 25, 2025

wip
gebner
committed

Commits on Oct 6, 2025

merge main
nikswamy
committed

Commits on Oct 8, 2025

update checker to solve RENAME goals with a tactic, rather than calling equiv_now
nikswamy
committed
update expected output (some hints for ambiguity are gone in prover error messages)
nikswamy
committed

Commits on Oct 9, 2025

Commits on Oct 10, 2025

Fix example.
gebner
committed

Commits on Oct 16, 2025

Check for ambiguity using unifier.
gebner
committed

Commits on Oct 21, 2025

Fix tests.
gebner
committed

Commits on Oct 22, 2025

Assume freshness of fresh.
gebner
committed

Commits on Oct 26, 2025

Merge branch 'main' into gebner_phase1_matcher
mtzguido
authored

Commits on Oct 27, 2025

Update expected error output
mtzguido
committed

Commits on Oct 28, 2025

Merge branch 'main' into gebner_phase1_matcher
mtzguido
authored

Commits on Oct 29, 2025