improve induction on int
In the induction hypothesis generated by 'induction n a', the second sub-goal should contain hypothesis 'a < n' instead of 'a <= n'
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information