Atlas — Tensor Categories

229

Statements

137

Passed

59.8%

Pass rate

Average Scores

Faithfulness

3.37/5

Proof Integrity

3.48/5

Code Quality

2.69/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements