Atlas — Combinatorial Optimization

36

Statements

22

Passed

61.1%

Pass rate

Average Scores

Faithfulness

3.61/5

Proof Integrity

3.72/5

Code Quality

3.71/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements