Skip to content
Nix CI for bundle 8.16

generalize derE to eqType, add mem_der language inclusion check #47

Sign in to view logs

generalize derE to eqType, add mem_der language inclusion check

generalize derE to eqType, add mem_der language inclusion check #47

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq
39s
reglang
1m 32s
mathcomp
35s
2m 46s