Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
lambda-nameless-adequacy	Aug 5, 2025
finfun	Aug 14, 2025
some_grinding	Sep 3, 2025
bump_to_v4.23.0	Sep 15, 2025
bump_to_v4.24.0-rc1	Sep 15, 2025
bump/v4.25.0	Sep 16, 2025
correct_docs_require	Sep 18, 2025
rooted-lts	Sep 27, 2025
omega-sequence	Oct 10, 2025
fix_bump_nightly-testing	Oct 14, 2025
install_lake_in_CI	Oct 14, 2025
chore/update-mathlib-name-nightly-testing	Oct 14, 2025
fix/validate-git-dependency-nightly-testing	Oct 14, 2025
skip-nightly-workflows-in-forks	Oct 14, 2025
bump_to_v4.24.0	Oct 14, 2025
scripts/readme	Oct 15, 2025
mk_all	Oct 15, 2025
bump_to_v4.25.0-rc1	Oct 21, 2025
bump_to_v4.25.0-rc2	Oct 22, 2025
lake_update_v4.25.0-rc2_redux	Oct 23, 2025

Provide feedback