Skip to content

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

Vilin97 merged 2 commits into
LeanPool:mainfrom
jtraverso:jtraverso/classical-matching-factors

Consolidate Euler circuit proof and drop unused factor hypothesis

ddc69d4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Project metadata advisory
succeeded Oct 19, 2026 in 43s