Skip to content

fix: stray tokens in tactic block should not inhibit incrementality#4268

Merged
Kha merged 3 commits intoleanprover:masterfrom Kha:incr-tactic-stray-tokenMay 27, 2024

Commits

Commits on May 24, 2024

Commits on May 27, 2024