feat: tactics imod and imodintro support fancy update#194
Merged
MackieLoeffel merged 8 commits intoleanprover-community:masterfrom Apr 9, 2026
Merged
feat: tactics imod and imodintro support fancy update#194MackieLoeffel merged 8 commits intoleanprover-community:masterfrom
imod and imodintro support fancy update#194MackieLoeffel merged 8 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 8, 2026
- committed
- authored
- committed
- committed
- committed
