PaperFormalizer · Formalized papers
Formalized papers
Paired states and Hamiltonian cycles in cubic bipartite planar graphs
Lean code
A standalone Lake project: the paper's Lean, the toolkit modules it imports, and
Check.lean
.
Check.lean
Papers/OaiPairedStatesHamiltonian/Basic.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Cancel.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CancelCycleLift.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CancelDelta.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CancelSwitch.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Circulation.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CitedGates.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ClockwiseMatching.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ComponentEulerBound.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ComponentEulerExact.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ComponentMaps.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleCap.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleDisk.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleDiskEuler.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleExterior.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleGluing.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleIncidence.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleReversal.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleSeparation.lean
Papers/OaiPairedStatesHamiltonian/Helpers/CycleSideCount.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DartRestriction.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Density.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DensityBoundary.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DensityComponentEuler.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DensityComponents.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DensityFlowCounts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DensityRegions.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Disk.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DiskCounts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DiskMatching.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DualConnectivity.lean
Papers/OaiPairedStatesHamiltonian/Helpers/DualMap.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Duality.lean
Papers/OaiPairedStatesHamiltonian/Helpers/EdgeCuts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/EdgeDeletion.lean
Papers/OaiPairedStatesHamiltonian/Helpers/EulerBound.lean
Papers/OaiPairedStatesHamiltonian/Helpers/FaceSideLabels.lean
Papers/OaiPairedStatesHamiltonian/Helpers/FirstReturn.lean
Papers/OaiPairedStatesHamiltonian/Helpers/FirstReturnCompose.lean
Papers/OaiPairedStatesHamiltonian/Helpers/FirstReturnCounts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ForestAsymptotics.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ForestExtension.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ForestGraph.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ForestState.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Forests.lean
Papers/OaiPairedStatesHamiltonian/Helpers/GlobalGradients.lean
Papers/OaiPairedStatesHamiltonian/Helpers/GradientRestriction.lean
Papers/OaiPairedStatesHamiltonian/Helpers/GraphClasses.lean
Papers/OaiPairedStatesHamiltonian/Helpers/HamiltonianAssembly.lean
Papers/OaiPairedStatesHamiltonian/Helpers/InducedCore.lean
Papers/OaiPairedStatesHamiltonian/Helpers/InducedMaps.lean
Papers/OaiPairedStatesHamiltonian/Helpers/InducedPlacement.lean
Papers/OaiPairedStatesHamiltonian/Helpers/IsolatedVertexRemoval.lean
Papers/OaiPairedStatesHamiltonian/Helpers/MapOperations.lean
Papers/OaiPairedStatesHamiltonian/Helpers/OppositeEdges.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PForest.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PairCycleLift.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PairGroupProducts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PairOrientations.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PairPhases.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Pairs.lean
Papers/OaiPairedStatesHamiltonian/Helpers/PartitionAssembly.lean
Papers/OaiPairedStatesHamiltonian/Helpers/RadialRotation.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ReverseCycleSides.lean
Papers/OaiPairedStatesHamiltonian/Helpers/RootComponents.lean
Papers/OaiPairedStatesHamiltonian/Helpers/RotationEquiv.lean
Papers/OaiPairedStatesHamiltonian/Helpers/RotationEulerBound.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Selection.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SelectionAcyclic.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SelectionCounting.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SelectionCycles.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SelectionWhite.lean
Papers/OaiPairedStatesHamiltonian/Helpers/ShortFaces.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SphereMaps.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeCore.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeEdges.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeGenus.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeLocalSides.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeMaps.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokePlacement.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeProjection.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeRegions.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SpokeSectors.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Spokes.lean
Papers/OaiPairedStatesHamiltonian/Helpers/States.lean
Papers/OaiPairedStatesHamiltonian/Helpers/StatesCore.lean
Papers/OaiPairedStatesHamiltonian/Helpers/SwapOrbitCounts.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TreeBranches.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TreeCardinality.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TreeGluing.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TriangleCapIncidence.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TriangleCaps.lean
Papers/OaiPairedStatesHamiltonian/Helpers/TrianglePartitionMatching.lean
Papers/OaiPairedStatesHamiltonian/Helpers/Triangulation.lean
Papers/OaiPairedStatesHamiltonian/Helpers.lean
Papers/OaiPairedStatesHamiltonian/Main.lean
Papers/OaiPairedStatesHamiltonian/TEdgeAvoidance.lean
Papers/OaiPairedStatesHamiltonian/TMain.lean
Papers/OaiPairedStatesHamiltonian/TPartition.lean
Papers/OaiPairedStatesHamiltonian/TPfaffianPaths.lean
Papers/OaiPairedStatesHamiltonian.lean
Papers.lean
README.md
lakefile.toml
lean-toolchain