Skip to content

Some cleanups and fix incorrect evar map passing in aac_reflexivity #143

Some cleanups and fix incorrect evar map passing in aac_reflexivity

Some cleanups and fix incorrect evar map passing in aac_reflexivity #143

Annotations

2 warnings

build (coqorg/coq:dev)

succeeded Mar 1, 2024 in 2m 12s