Loading the paper…
A Smooth Nonquadratic Entire Affine Maximal Graph in Dimension Ten
6/6 proved in LeanNo revisions required30 clarifications60.3M tokens
Summary. 6 result(s) of the paper were examined. None was found wrong as printed. In Lean: 6 proved, 0 taken from the literature as cited, 0 not certified, 0 not formalized.
- REPORT.md — the report: what was revised and what was proved
- Revised PDF — the paper with its revisions
- lean/ — the Lean code
seal 792e96b14bb3faecf34c9c36b1b51807e5174559e6cbd192282de478e2cf89e1 — a checksum of the reviewers' verdicts and every file of the bundle. It shows the bundle is complete and unchanged; it does not show who ran the check.