Skip to content

feat: add hardest theorems from LeanTriathlon#470

Draft
BoltonBailey wants to merge 3 commits into
leanprover:mainfrom
BoltonBailey:leantriathlon-hard
Draft

feat: add hardest theorems from LeanTriathlon#470
BoltonBailey wants to merge 3 commits into
leanprover:mainfrom
BoltonBailey:leantriathlon-hard

write notes

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

Annotations

1 error and 2 warnings
verify
failed Jul 3, 2026 in 2h 31m 14s