Add options for proof directive title formatting#163
Merged
douden merged 18 commits intoprepare-releasefrom Jan 23, 2026
Merged
Add options for proof directive title formatting#163douden merged 18 commits intoprepare-releasefrom
douden merged 18 commits intoprepare-releasefrom
Commits
Commits on Jan 19, 2026
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&size=32){kind=avatar}
Commits on Jan 21, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
- authored
- authored
Commits on Jan 22, 2026
- committed
- committed
- committed
- committed
- committed