3 ms·What? Where can I read more about that?by xigoi 4y agoWhat? Where can I read more about that?lmm 4y agohttp://www.envisage-project.eu/proving-android-java-and-python-sorting-algorithm-is-broken-and-how-to-fix-it/ http://www.envisage-project.eu/proving-android-java-and-pyth...xigoi 4y agoThanks :)