Skip to content

Isabelle/HOL translation: recursive translation of the whole project #8451

Isabelle/HOL translation: recursive translation of the whole project

Isabelle/HOL translation: recursive translation of the whole project #8451

Annotations

2 errors

build-and-test-linux

cancelled Sep 13, 2024 in 13m 12s