PaperFormalizer · Formalized papers
Formalized papers
The geometric case of the Erd os similarity conjecture
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiGeometricErdosSimilarity/Basic.lean
Papers/OaiGeometricErdosSimilarity/Helpers/BoundaryDensity.lean
Papers/OaiGeometricErdosSimilarity/Helpers/DefaultProbability.lean
Papers/OaiGeometricErdosSimilarity/Helpers/LocalRouting.lean
Papers/OaiGeometricErdosSimilarity/Helpers/Routing.lean
Papers/OaiGeometricErdosSimilarity/Helpers/ScaleBounds.lean
Papers/OaiGeometricErdosSimilarity/Helpers/ScaleConstancy.lean
Papers/OaiGeometricErdosSimilarity/Helpers/ScaleDefinitions.lean
Papers/OaiGeometricErdosSimilarity/Helpers/ScalePartition.lean
Papers/OaiGeometricErdosSimilarity/Helpers/Scales.lean
Papers/OaiGeometricErdosSimilarity/Helpers/Stability.lean
Papers/OaiGeometricErdosSimilarity/Helpers/TableDefinitions.lean
Papers/OaiGeometricErdosSimilarity/Helpers/Tables.lean
Papers/OaiGeometricErdosSimilarity/Helpers/TreeRouting.lean
Papers/OaiGeometricErdosSimilarity/Helpers/WindowCombinatorics.lean
Papers/OaiGeometricErdosSimilarity/Helpers/WindowDefinitions.lean
Papers/OaiGeometricErdosSimilarity/Helpers/Windows.lean
Papers/OaiGeometricErdosSimilarity/Helpers.lean
Papers/OaiGeometricErdosSimilarity/Main.lean
Papers/OaiGeometricErdosSimilarity/TMain.lean
Papers/OaiGeometricErdosSimilarity/TPeriodic.lean
Papers/OaiGeometricErdosSimilarity.lean
Papers.lean
README.md
built-against.json
lakefile.toml
lean-toolchain