Skip to content

Isabelle/HOL translation: fix undefined identifiers due to syntax alias #9279

Isabelle/HOL translation: fix undefined identifiers due to syntax alias

Isabelle/HOL translation: fix undefined identifiers due to syntax alias #9279

pre-commit

succeeded Dec 1, 2024 in 19s