Skip to content
CI

Added just a few small lemmas, a couple abut machine words, and #7

Sign in to view logs

Added just a few small lemmas, a couple abut machine words, and

Added just a few small lemmas, a couple abut machine words, and #7

Run time

Learn about OS pricing on GitHub Actions
Job Run time
OCaml 4.05, Camlp5 7.10
7m 20s
OCaml 4.14, Camlp5 8.02
7m 35s
14m 55s