A structure preserving encoding of Z in Isabelle/HOL
type: Item
instance of: scholarly article
title: A structure preserving encoding of Z in Isabelle/HOL
zbMATH Open document ID: 1543.68219
author: Kolyang
author: Thomas Santen
author: Burkhart Wolff
publication date: 2024-07-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68V20
zbMATH DE Number: 7876667
MaRDI profile type: Publication
cites work: Q3221381
cites work: Q5287513
cites work: Isabelle. A generic theorem prover
cites work: Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
DOI: 10.1007/BFB0105411
description: scientific article; zbMATH DE number 7876667