Gergely Buday (May 16 2025 at 13:07): Gergely Buday (May 16 2025 at 13:07):Krauss and Schropp wrote a paper
A Mechanized Translation from Higher-Order Logic to Set Theory
that translates Isabelle/HOL theories to Isabelle/ZF. I could not find it in the Archive of Formal Proofs.
Is their code available somewhere?
Mathias Fleury (May 16 2025 at 14:43):Best chance is writing the authors…
Last updated: Sep 13 2025 at 08:22 UTC