Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) - #251
Open
fajb wants to merge 12 commits into
Open
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1)#251fajb wants to merge 12 commits into
fajb wants to merge 12 commits into
Commits
Commits on Aug 26, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored andcommitted
