Atlas — Theory Of Probability

100

Statements

84

Passed

84.0%

Pass rate

Average Scores

Faithfulness

4.17/5

Proof Integrity

4.18/5

Code Quality

3.55/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements