Skip to content
.github/workflows/main.yml

align types used in the definition of real numbers #804

Sign in to view logs

align types used in the definition of real numbers

align types used in the definition of real numbers #804

Annotations

1 error

hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, 2.5.0, 3.15.0)

hol-light-to-dedukti (4.14.1, 8.02.01, 2.7, 2.5.0, 3.15.0)
failed Sep 14, 2024 in 6m 15s