Skip to content

Isabelle/HOL translation: fix nested pattern matching #9277

Isabelle/HOL translation: fix nested pattern matching

Isabelle/HOL translation: fix nested pattern matching #9277

pre-commit

succeeded Dec 1, 2024 in 11s