feat: incrementality for careful command macros such as set_option in theorem, theorem foo.bar, lemma#4364
Merged
Kha merged 1 commit intoleanprover:masterfrom Kha:incremental-cmd-macrosJun 5, 2024
+173-49
