☆ Yσɠƚԋσʂ ☆ to Programmer Humor@lemmy.mlEnglish • 6 months agoUnit Testslemmy.mlimagemessage-square20fedilinkarrow-up1130arrow-down110
arrow-up1120arrow-down1imageUnit Testslemmy.ml☆ Yσɠƚԋσʂ ☆ to Programmer Humor@lemmy.mlEnglish • 6 months agomessage-square20fedilink
minus-squareTreenikslinkfedilink1•6 months agojust do everything in Isabelle and prove correctness, ezpz no tests required
minus-square@QuazarOmega@lemy.lollinkfedilink1•6 months agoBlockier than I remember So that’s it, I read its overview, looks really powerful! Also goes way over my head
just do everything in Isabelle and prove correctness, ezpz no tests required
This Isabelle?
This Isabelle
Blockier than I rememberSo that’s it, I read its overview, looks really powerful! Also goes way over my head