Context:
proveit
.
number
.numeral
¶
Provide description here.
In [1]:
import
proveit
%
context
common expressions
axioms
theorems
demonstrations
binary
Only 0's and 1's as numerals
deci
0-9 as numerals
hexidecimal
0-9 and a-f as numerals