Atlas / Lie Groups

Lie Groups

185
Statements
74
Passed
40.0%
Pass rate

Average Scores

Faithfulness
3.18/5
Proof Integrity
2.72/5
Code Quality
3.45/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; }