Skip to content

Lean formalization v1.0.1

Choose a tag to compare

View all tags
@iyalice iyalice released this 29 Aug 15:48
· 25 commits to main since this release
v1.0.1
a661859

Frozen Lean 4 formalization with traditional finite-multigraph distance and Thomson-resistance semantics, samplewise bridges, graph-facing versions of the three principal theorems, exact source maps, and publication audit reports.

  • Commit: a661859
  • Lean: 4.32.1
  • Lake: 5.0.0
  • mathlib: v4.32.1 at 520045ab14e26149ee970e2e617ca04b09bde5d6
  • Full lake build: 8,733 jobs
  • Placeholder audit: 80 Lean files, exactly 2 documented project axioms
  • License: Apache-2.0
Assets 2
Loading