Proof of
proveit
.
numbers
.
numerals
.
binaries
.
b_in_bits
theorem
¶
In [1]:
import
proveit
theory
=
proveit
.
Theory
()
# the theorem's theory
In [2]:
%
proving
b_in_bits
With these
allowed
/
disallowed
theorem/theory presumptions (e.g., to avoid circular dependencies), we begin our proof of
b_in_bits:
(see
dependencies
)