Atlas — Algebraic Combinatorics

39

Statements

37

Passed

94.9%

Pass rate

Average Scores

Faithfulness

4.46/5

Proof Integrity

4.74/5

Code Quality

3.90/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements