Atlas — Arithmetic Geometry

335

Statements

266

Passed

79.4%

Pass rate

Average Scores

Faithfulness

3.91/5

Proof Integrity

4.13/5

Code Quality

3.63/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements