Skip to content
.github/workflows/main.yml

translation and checking of Multivariate/make_complex.ml #883

Sign in to view logs

translation and checking of Multivariate/make_complex.ml

translation and checking of Multivariate/make_complex.ml #883

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hol-light-to-dedukti (ea45176, 4.14.2, 8.02.01, 2.7, master, 3.16.1)
8m 4s
8m 4s