Atlas — Introduction To Partial Differential Equations

105

Statements

86

Passed

81.9%

Pass rate

Average Scores

Faithfulness

4.08/5

Proof Integrity

4.20/5

Code Quality

3.57/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements