Atlas — Number Theory I

576

Statements

460

Passed

79.9%

Pass rate

Average Scores

Faithfulness

3.85/5

Proof Integrity

4.28/5

Code Quality

3.69/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements