Atlas / Buildings

Buildings

74
Statements
44
Passed
59.5%
Pass rate

Average Scores

Faithfulness
3.35/5
Proof Integrity
3.49/5
Code Quality
3.40/5
🕸
Dependency Graph
Interactive visualization with evaluation scores
📖
API Documentation
Browse declarations, docstrings, and source

Formalized Statements