Skip to content

feat(AlgebraicGeometry): Faltings' theorem - #191

Open
alreadydone wants to merge 18 commits into
leanprover:mainfrom
alreadydone:Faltings
Open

feat(AlgebraicGeometry): Faltings' theorem#191
alreadydone wants to merge 18 commits into
leanprover:mainfrom
alreadydone:Faltings

merge upstream

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

Annotations

1 error
verify
failed Aug 1, 2026 in 3h 47m 46s