/numbers

Rational and real numbers

Primary LanguageCoq

This repository is not active