Skip to content

[zify] Define zify in terms of tify_* tactics

6bfbf12
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1) #251

[zify] Define zify in terms of tify_* tactics
6bfbf12
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
rocq-core
succeeded Jun 4, 2026 in 1m 2s