Skip to content

Lookup abstracted terms using unification #335

Lookup abstracted terms using unification

Lookup abstracted terms using unification #335

Annotations

11 warnings

build (mathcomp/mathcomp-dev:coq-8.19)

succeeded Jan 22, 2025 in 4m 21s