A Formalization of Properties of Continuous Functions on Closed Intervals (Q5041063)
From MaRDI portal
scientific article; zbMATH DE number 7600899
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Formalization of Properties of Continuous Functions on Closed Intervals |
scientific article; zbMATH DE number 7600899 |
Statements
A Formalization of Properties of Continuous Functions on Closed Intervals (English)
0 references
13 October 2022
0 references
Coq
0 references
formalization
0 references
limits
0 references
continuous functions
0 references
closed intervals
0 references
