Skip to content
Build and Deploy documentation

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

Sign in to view logs

Some cleanups and fix incorrect evar map passing in aac_reflexivity

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-coqdoc
1m 39s
1m 39s