Atlas
/ Differential Geometry
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