Skip to content

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

Draft
bollu wants to merge 2 commits into
mainfrom
match-goal
Draft

feat: proof automation DSL for simple repeated tactic application by pattern matching#178
bollu wants to merge 2 commits into
mainfrom
match-goal

chore: add match goal tactic code

23c74ac
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs