Constructing the real numbers in HOL
- 1 July 1994
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 5 (1-2) , 35-59
- https://doi.org/10.1007/bf01384233
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Implementing constructive real analysis (preliminary report)Published by Springer Nature ,1992