Skip to content
Docker CI

minor proof simplification (fundamental for affine) #111

Sign in to view logs

minor proof simplification (fundamental for affine)

minor proof simplification (fundamental for affine) #111

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:8.17)
8m 34s
build_nix
10m 9s
18m 43s