Skip to content

Canonical ordering for aac_normalise tactic in master #155

Canonical ordering for aac_normalise tactic in master

Canonical ordering for aac_normalise tactic in master #155

build (coqorg/coq:dev)

succeeded Jun 1, 2024 in 1m 58s