Skip to content

[zify] Define zify in terms of tify_* tactics

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

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

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

Annotations

1 warning
stdlib-warnings
succeeded Apr 13, 2026 in 4m 4s