feat: proof automation DSL for simple repeated tactic application by pattern matching#178

Draft

bollu wants to merge 2 commits intomainfrom match-goal

+451-115

Commits on Sep 19, 2024

chore: Switch to Std.HashMap
bollu
committed

Commits on Sep 23, 2024

chore: add match goal tactic code
bollu
committed