- vstte problem1.java: proven that the program sorts (todo: permutation)
- vstte problem1.java: proven that the program sorts (todo: permutation)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast