Atlas — Projection Theory

111

Statements

73

Passed

65.8%

Pass rate

Average Scores

Faithfulness

3.73/5

Proof Integrity

3.10/5

Code Quality

3.17/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements