Atlas — Fourier Analysis

38

Statements

34

Passed

89.5%

Pass rate

Average Scores

Faithfulness

4.03/5

Proof Integrity

4.55/5

Code Quality

3.97/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements