Theory of
proveit
.
numbers
.numerals
ΒΆ
Provide description here.
In [1]:
import
proveit
%
theory
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
binaries
Only 0's and 1's as numerals
decimals
0-9 as numerals
hexidecimals
0-9 and a-f as numerals
All axioms contained within this theory
This theory contains no axioms directly.
proveit.numbers.numerals.binaries
proveit.numbers.numerals.binaries.single_bit_reduction
proveit.numbers.numerals.decimals
proveit.numbers.numerals.decimals.one_def
proveit.numbers.numerals.decimals.two_def
proveit.numbers.numerals.decimals.three_def
proveit.numbers.numerals.decimals.four_def
proveit.numbers.numerals.decimals.five_def
proveit.numbers.numerals.decimals.six_def
proveit.numbers.numerals.decimals.seven_def
proveit.numbers.numerals.decimals.eight_def
proveit.numbers.numerals.decimals.nine_def
proveit.numbers.numerals.decimals.N_leq_9_def
proveit.numbers.numerals.decimals.single_digit_reduction
proveit.numbers.numerals.hexidecimals
This sub-theory contains no axioms.
