Atlas — Complex Variables

38

Statements

37

Passed

97.4%

Pass rate

Average Scores

Faithfulness

4.24/5

Proof Integrity

4.74/5

Code Quality

4.08/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements