fix: tactic completion in empty by blocks#13348
Open
mhuisi wants to merge 1 commit intoleanprover:masterfrom
Open
fix: tactic completion in empty by blocks#13348mhuisi wants to merge 1 commit intoleanprover:masterfrom
by blocks#13348mhuisi wants to merge 1 commit intoleanprover:masterfrom
Commits
Commits on Apr 9, 2026
- andcommitted
