Atlas — Differential Geometry

147

Statements

112

Passed

76.2%

Pass rate

Average Scores

Faithfulness

3.68/5

Proof Integrity

3.65/5

Code Quality

3.60/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements