Report copyright - Isabelle Theories for Machine Words - ANU College of ...users.cecs.anu.edu.au/~jeremy/pubs/l4/slides/l4-slides.pdfequality of machine words is not equality of their representations
Please pass captcha verification before submit form