Atlas — An Algorithmists Toolkit

158

Statements

131

Passed

82.9%

Pass rate

Average Scores

Faithfulness

4.01/5

Proof Integrity

4.19/5

Code Quality

3.56/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements