Data types

1 modules in src/rainbow/data/. All folders

Module	What it proves	Theorems
data.binary	Binary (positional) numerals -- foundation stone for magnitude-INDEPENDENT arithmetic.	0