Skip to content

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

Open
fajb wants to merge 12 commits into
rocq-prover:masterfrom
fajb:tify
Open

Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1)#251
fajb wants to merge 12 commits into
rocq-prover:masterfrom
fajb:tify

[zify] Define zify in terms of tify_* tactics

d0c3c40
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-elpi
succeeded Jun 10, 2026 in 1m 8s