constructive analysis - Robuta Search

https://formalfoundry.ai/libraries/serial/ Cubical Reals and Constructive Analysis | Formal Foundry Research-grade Cubical Agda work from algebraic foundations toward real analysis. constructive analysis cubical reals formal foundry