Branches

Search

Default

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Dec 22, 2024				Delete branchBranch menu

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
decFinSubset Copy branch name to clipboard	Oct 11, 2025				Delete branchBranch menu
deMorgan-Pred Copy branch name to clipboard	Oct 11, 2025				Delete branchBranch menu
deMorgan-Fin Copy branch name to clipboard	Oct 9, 2025				Delete branchBranch menu
minimalCounterexample Copy branch name to clipboard	Oct 4, 2025				Delete branchBranch menu
boolean-ring Copy branch name to clipboard	Oct 1, 2025				Delete branchBranch menu

View more branches