Fast Machine Words in Isabelle/HOL - Springer
In this paper, we extend this list for Isabelle/HOL with machine words of 8, 16, 32, and 64 bits (Sect.3), and with machine words of unspecified size (Sect.4). By reusing Isabe’ formalisation …Author: Andreas LochbihlerPublish Year: 2018
Tag:
what can i make with these letters