Branches

Default

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
9.0	Sep 10, 2025

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
universes-clause-check	Oct 31, 2025
main	Oct 31, 2025
dependabot/github_actions/coq-8.18/actions/checkout-5	Aug 12, 2025
dependabot/github_actions/coq-8.19/actions/checkout-5	Aug 12, 2025
dependabot/github_actions/coq-8.16/actions/checkout-5	Aug 12, 2025