minus-squareTreeniks@lemmy.mltoProgrammer Humor@lemmy.ml•Unit Testslinkfedilinkarrow-up2·8 months agoThis Isabelle linkfedilink
minus-squareTreeniks@lemmy.mltoProgrammer Humor@lemmy.ml•Unit Testslinkfedilinkarrow-up1·8 months agojust do everything in Isabelle and prove correctness, ezpz no tests required linkfedilink
This Isabelle