feat: proof automation DSL for simple repeated tactic application by pattern matching#178
Draft
bollu wants to merge 2 commits into
Draft
feat: proof automation DSL for simple repeated tactic application by pattern matching#178bollu wants to merge 2 commits into
bollu wants to merge 2 commits into
Commits
Commits on Sep 19, 2024
- committed
