Atlas — Combinatorial Optimization

Statements

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

.skel-container { border-top: 1px solid #eee; padding: 12px 16px; background: #fafafa; display: none; } .skel-container.open { display: block; } .skel-code { font-family: 'JetBrains Mono', 'Fira Code', monospace; font-size: 11px; color: #555; white-space: pre-wrap; line-height: 1.5; max-height: 400px; overflow-y: auto; background: #fff; border: 1px solid #eee; border-radius: 6px; padding: 12px; } .skel-actions { margin-top: 8px; display: flex; gap: 8px; align-items: center; } .skel-loading { color: #999; font-size: 12px; padding: 12px; }