A structure preserving encoding of Z in Isabelle/HOL

DOI10.1007/BFB0105411zbMATH Open1543.68219MaRDI QIDQ6567720

Author name not available (Why is that?)

Publication date: 5 July 2024

Mathematics Subject Classification ID

No records found.

This page was built for publication: A structure preserving encoding of Z in Isabelle/HOL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567720)