Computable analysis and notions of continuity in \textsc{Coq} (Q4989411)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computable analysis and notions of continuity in \textsc{Coq} |
scientific article; zbMATH DE number 7350782
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Computable analysis and notions of continuity in \textsc{Coq} |
scientific article; zbMATH DE number 7350782 |
Statements
25 May 2021
0 references
computable analysis
0 references
formal proofs
0 references
Coq proof assistant
0 references
closed choice
0 references
0 references
0 references
0 references
0 references
0.76240074634552
0 references
0.7577190399169922
0 references
0.7472674250602722
0 references
0.7436797618865967
0 references
