Skip to content

Series-Parallel formalization v1.0.2

Choose a tag to compare

View all tags
@iyalice iyalice released this 30 Aug 08:36
v1.0.2
4534ed1

Frozen Lean 4 formalization archive for Distance and resistance on random series-parallel graphs.

  • Release tree: exactly 94 tracked paths, including 79 Lean source files.
  • Unique manuscript source: Distance_and_resistance_arxiv_amsart.tex.
  • Lean 4.32.1; Lake 5.0.0; mathlib v4.32.1 at 520045ab14e26149ee970e2e617ca04b09bde5d6.
  • License: Apache-2.0.
  • Verification: the complete Lean build passed (8,733 jobs); placeholder, project-axiom, graph-semantics, and source-map audits passed.
  • Declared project axioms: distanceGamma_half_eq_zero and MI01_global_peano_on_compact_interval.

The repository is private and no DOI has been assigned.

Assets 2
Loading