search

cartazio / numbers

Other
29 stars 13 forks source link

Added abstract real numbers. #21

Closed dmcclean closed 2 years ago

dmcclean commented 7 years ago

Pursuant to #20, I am proposing adding this module for totally abstract real numbers.