Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	May 20, 2025				Delete branchBranch menu
dependent-projectability-congruence Copy branch name to clipboard	May 20, 2025				Delete branchBranch menu
check-projectability-in-congruence Copy branch name to clipboard	Nov 7, 2024				Delete branchBranch menu
projectability Copy branch name to clipboard	Oct 10, 2024				Delete branchBranch menu
ltac2-congruence Copy branch name to clipboard	Jul 8, 2024				Delete branchBranch menu