Searching for "A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals
- …A Constructive Proof of the Heine-Borel Covering Theorem for Formal Reals Jan Cederquist 1…
- Cited by 10 (4 self) – Add To MetaCart
-
An Implementation of the Heine-Borel Covering Theorem in Type Theory
- … complete formalisation of the proof presented in "A constructive proof of the Heine-Borel covering theorem…
- Add To MetaCart
-
A Pointfree approach to Constructive Analysis in Type Theory
- … of the Heine-Borel covering theorem for formal reals, In S. Berardi and C. Coppo eds., iTypes for Proofs…
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 3.
