Atlas — Algebraic Topology I

171

Statements

110

Passed

64.3%

Pass rate

Average Scores

Faithfulness

4.05/5

Proof Integrity

3.58/5

Code Quality

3.52/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements