logo

Context: proveit.number.numeral

Provide description here.

In [1]:
import proveit
%context
common expressions axioms theorems demonstrations
binaryOnly 0's and 1's as numerals
deci0-9 as numerals
hexidecimal0-9 and a-f as numerals