PaperFormalizer · Formalized papers
Formalized papers
A Smooth Nonquadratic Entire Affine Maximal Graph in Dimension Ten
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiSmoothNonquadraticAffine/Basic.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/Autonomous.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/Box.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/BoxFlow.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/BoxGeometry.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationBounds.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationExistence.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationGluing.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationMaximal.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationODE.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ContinuationUniqueness.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/Local.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalConstructions.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalEstimates.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalFixedPoint.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalOrigin.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalRadial.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/LocalSmooth.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/RadialHessian.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/RadialSmooth.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ReductionFrame.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ReductionHessian.lean
Papers/OaiSmoothNonquadraticAffine/Helpers/ReductionMatrix.lean
Papers/OaiSmoothNonquadraticAffine/Helpers.lean
Papers/OaiSmoothNonquadraticAffine/Run.lean
Papers/OaiSmoothNonquadraticAffine/TGlobal.lean
Papers/OaiSmoothNonquadraticAffine/TMain.lean
Papers/OaiSmoothNonquadraticAffine/TReduction.lean
Papers/OaiSmoothNonquadraticAffine.lean
Papers.lean
README.md
lakefile.toml
lean-toolchain