feat: move to the module system#243
Merged
fmontesi merged 7 commits intoleanprover:mainfrom Jan 12, 2026
Merged
Commits
Commits on Jan 3, 2026
- committed
- committed
- committed
- committed
Commits on Jan 5, 2026
Commits on Jan 6, 2026
- committed
Commits on Jan 12, 2026
- committed