On constructive analysis with exact real numbers via type theory, specifically with Type classes in Coq:
Created on February 8, 2023 at 10:37:38. See the history of this page for a list of all contributions to it.