8000 Branches · leanprover/verso-website · GitHub

Branches

Search

Default

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main	Mar 13, 2026

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
jcreedcmu-patch-1	Mar 12, 2026
stats	Mar 12, 2026
readme-push	Mar 10, 2026
link-dests	Mar 10, 2026
deploy-site	Mar 10, 2026

View more branches

0