Atlas — Probabilistic Methods In Combinatorics

210

Statements

109

Passed

51.9%

Pass rate

Average Scores

Faithfulness

3.84/5

Proof Integrity

2.97/5

Code Quality

3.45/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements