Math 2.0

Reviewers

A fidelity review checks that a Lean statement says what the informal statement says (spec 10.6). Each review is signed and public, and it carries the name of the reviewer. Each reviewer has a page with a stable link, to cite in a CV or a grant report (spec 16.4).

No person has reviewed a binding yet. To review one, read Contribute and run m2 review.