Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
Stale branches
non_inclusive
d9a3e632
·
Clean up
·
Mar 23, 2021
plain_restrict
d9a3e632
·
Clean up
·
Mar 23, 2021
disjunction
1a625743
·
Soundness with disjunction
·
Apr 02, 2021
term_instantiation
5434e8a0
·
Attempt at proving TermI and ConstE
·
Apr 17, 2021
TermI2
623db3ba
·
Attempt to prove TermI - it may be false
·
Jul 11, 2021
Show more stale branches