Atlas — Introduction To Functional Analysis

72

Statements

68

Passed

94.4%

Pass rate

Average Scores

Faithfulness

4.14/5

Proof Integrity

4.73/5

Code Quality

3.61/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements