Atlas — Theory Of Computation

118

Statements

84

Passed

71.2%

Pass rate

Average Scores

Faithfulness

4.03/5

Proof Integrity

3.67/5

Code Quality

3.75/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements