About this document
Constructing Reals in HOL by rosaeva is a document available to read on EtoBox.
- Author
- rosaeva
- Language
- EN
About this book
This document summarizes a paper describing a construction of the real numbers in the HOL theorem prover using Dedekind
Details
Rate this book
Sign in to rate this book
Quick info
- Language
- en
- Availability
- Checking…