Anon tries programming in Java
Anon tries programming in Java
![](https://sh.itjust.works/pictrs/image/a65635b3-c03d-4c00-80bf-1d669a8541ad.jpeg?format=webp&thumbnail=128)
![](https://sh.itjust.works/pictrs/image/a65635b3-c03d-4c00-80bf-1d669a8541ad.jpeg?format=webp)
Anon tries programming in Java
You're viewing a single thread.
My inner mathematician respects Java. The first step in any problem is defining your universe
You may find JML interesting. https://www.openjml.org/