Skip to content

translation and checking of Multivariate/make_complex.ml #896

translation and checking of Multivariate/make_complex.ml

translation and checking of Multivariate/make_complex.ml #896

Annotations

1 warning

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

succeeded Dec 13, 2024 in 7m 41s