finite-numbers
There are 2 repositories under finite-numbers topic.
Bodigrim/mod
Modular arithmetic, promoting moduli to the type level
eskinderit/FiniteRepresentation
A couple of exercises about Ill conditioning, Finite rapresentation in python and series approximation with finite numbers