Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Verify bool arith
ILsl_nat
ILsr_nat
IOr_nat
IAnd_nat
IAnd_int_nat
IXor_nat