Skip to content

Add Fel's Conjecture project; port to v4.30.0-rc2 Mathlib - #24

Merged
Vilin97 merged 7 commits into
mainfrom
vasil/fel-conjecture
May 10, 2026
Merged

Add Fel's Conjecture project; port to v4.30.0-rc2 Mathlib#24
Vilin97 merged 7 commits into
mainfrom
vasil/fel-conjecture

Merge branch 'main' of https://github.com/Vilin97/lean-pool into vasi…

ab3d033
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar