Atlas — Boolean Functions

108

Statements

44

Passed

40.7%

Pass rate

Average Scores

Faithfulness

3.41/5

Proof Integrity

3.54/5

Code Quality

3.38/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements