/RegressionInTypeArxiv

Formalised framework for regression on encodings of computable real numbers

Primary LanguageAgda

This repository is not active