Repository navigation

Add classical matching and factor theory collection - #680

Merged

Vilin97 merged 2 commits into

LeanPool:mainfrom

jtraverso:jtraverso/classical-matching-factors

Oct 19, 2026

Merged

Add classical matching and factor theory collection#680
Vilin97 merged 2 commits into
LeanPool:mainfrom
jtraverso:jtraverso/classical-matching-factors

Commits on Oct 18, 2026
- Add classical matching and factor theory collection
  jtraverso
  committed
  e9c09ff
Commits on Oct 19, 2026
- Consolidate Euler circuit proof and drop unused factor hypothesis
  jtraverso
  committed
  ddc69d4