Constructive definition of real numbers implemented in agda.
Primary LanguageTeX
This repository is not active