Add Pantograph-like approach to tactic mode#90
Draft
augustepoiroux wants to merge 8 commits intoleanprover-community:masterfrom
Draft
Add Pantograph-like approach to tactic mode#90augustepoiroux wants to merge 8 commits intoleanprover-community:masterfrom
augustepoiroux wants to merge 8 commits intoleanprover-community:masterfrom
Commits
Commits on Jul 8, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
