Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
partial-setoids Copy branch name to clipboard	Jul 27, 2019				Delete branchBranch menu
partial-equivalence Copy branch name to clipboard	Aug 10, 2019				Delete branchBranch menu
pinch-in Copy branch name to clipboard	Apr 29, 2021				Delete branchBranch menu
rewrite-tactic Copy branch name to clipboard	Dec 21, 2021				Delete branchBranch menu
vec-leq Copy branch name to clipboard	Feb 16, 2022				Delete branchBranch menu
experimental Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
gh-pages Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
lessThan-reasoning Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
list-binary-refactor Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
logical-reasoning Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
sorted-list Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
sublist Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
unnormalised-rationals Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu
case-bash-tactic Copy branch name to clipboard	Mar 3, 2024				Delete branchBranch menu