Atlas — Elliptic Curves

360

Statements

212

Passed

58.9%

Pass rate

Average Scores

Faithfulness

3.48/5

Proof Integrity

3.52/5

Code Quality

3.50/5

Dependency Graph

Interactive visualization with evaluation scores

API Documentation

Browse declarations, docstrings, and source

Formalized Statements