LiamTheBox@lemmy.world to Greentext@sh.itjust.works · 6 months agoAnon tries programming in Javalemmy.worldexternal-linkmessage-square246linkfedilinkarrow-up1883arrow-down134
arrow-up1849arrow-down1external-linkAnon tries programming in Javalemmy.worldLiamTheBox@lemmy.world to Greentext@sh.itjust.works · 6 months agomessage-square246linkfedilink
minus-squareBatman@lemmy.worldlinkfedilinkarrow-up31·6 months agoMy inner mathematician respects Java. The first step in any problem is defining your universe
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up2·6 months 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/