LiamTheBox@lemmy.world to Greentext@sh.itjust.works · 1 year agoAnon tries programming in Javalemmy.worldimagemessage-square247linkfedilinkarrow-up1890arrow-down136
arrow-up1854arrow-down1imageAnon tries programming in Javalemmy.worldLiamTheBox@lemmy.world to Greentext@sh.itjust.works · 1 year agomessage-square247linkfedilink
minus-squareBatman@lemmy.worldlinkfedilinkarrow-up31·1 year agoMy inner mathematician respects Java. The first step in any problem is defining your universe
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up2·1 year agoYou may find JML interesting. https://www.openjml.org/
My inner mathematician respects Java. The first step in any problem is defining your universe
You may find JML interesting. https://www.openjml.org/