Atlas — Algebra Notes

176

Statements

151

Passed

85.8%

Pass rate

Average Scores

Faithfulness

4.39/5

Proof Integrity

4.63/5

Code Quality

3.51/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements