Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Dec 22, 2024				Delete branchBranch 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
issue2746 Copy branch name to clipboard	Oct 1, 2025				Delete branchBranch menu
monoid-action Copy branch name to clipboard	Sep 21, 2025				Delete branchBranch menu
directed Copy branch name to clipboard	Sep 19, 2025				Delete branchBranch menu
issue2820 Copy branch name to clipboard	Sep 3, 2025				Delete branchBranch menu
subsetoid Copy branch name to clipboard	Sep 3, 2025				Delete branchBranch menu
upwards-downwards-closure Copy branch name to clipboard	Aug 21, 2025				Delete branchBranch menu
pointed-order Copy branch name to clipboard	Aug 20, 2025				Delete branchBranch menu
predomain Copy branch name to clipboard	Aug 20, 2025				Delete branchBranch menu
all-any-functoriality Copy branch name to clipboard	Aug 17, 2025				Delete branchBranch menu
minimalNegation Copy branch name to clipboard	Aug 5, 2025				Delete branchBranch menu
issue2784 Copy branch name to clipboard	Aug 5, 2025				Delete branchBranch menu
Vec-padRight-properties Copy branch name to clipboard	Aug 5, 2025				Delete branchBranch menu
v3.0-contradiction Copy branch name to clipboard	Aug 5, 2025				Delete branchBranch menu
Fin-punchOut-properties Copy branch name to clipboard	Aug 4, 2025				Delete branchBranch menu