These are archival webpages, generated on 2023-03-20 by
Prove-It
Beta Version 0.3, licensed under the GNU Public Licence by Sandia Corporation. See
pyproveit.org
for the lastest version.
Theory of
proveit
.statistics
¶
Provide description here.
In [1]:
import
proveit
%
theory
# toggles between interactive and static modes
Local content of this theory
common expressions
axioms
theorems
demonstrations
Sub-theories
All axioms contained within this theory
proveit.statistics.samples_space_def
proveit.statistics.event_prob_def
proveit.statistics.prob_of_all_def