Skip to content

[tify] generalises [zify] for an arbitrary type.#1

Open
proux01 wants to merge 2 commits into
masterfrom
tify
Open

[tify] generalises [zify] for an arbitrary type.#1
proux01 wants to merge 2 commits into
masterfrom
tify

Add overlay

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

Annotations

1 warning
rocq-core
succeeded Jun 10, 2026 in 1m 13s