Fix rocqwc on tactics that end in Proof#21423
Open
JoJoDeveloping wants to merge 4 commits intorocq-prover:masterfrom
Open
Fix rocqwc on tactics that end in Proof#21423JoJoDeveloping wants to merge 4 commits intorocq-prover:masterfrom
JoJoDeveloping wants to merge 4 commits intorocq-prover:masterfrom
Commits
Commits on Dec 12, 2025
- committed
- committed
