Skip to content

translation and checking of Multivariate/make_complex.ml #891

translation and checking of Multivariate/make_complex.ml

translation and checking of Multivariate/make_complex.ml #891

Annotations

1 error and 1 warning

hol-light-to-dedukti (ea45176, 4.14.2, 8.02.01, 2.7, master, 3.16.1)

failed Dec 13, 2024 in 7m 8s