Skip to content

Try use Isabelle2024-RC2. #361

Try use Isabelle2024-RC2.

Try use Isabelle2024-RC2. #361

Annotations

3 warnings

Build and Test (macos-latest, 1)

succeeded Apr 21, 2024 in 31m 49s