☆ Yσɠƚԋσʂ ☆ to Programmer HumorEnglish · 10 months agoUnit Testsimagemessage-square20fedilinkarrow-up1134arrow-down110
arrow-up1124arrow-down1imageUnit Tests☆ Yσɠƚԋσʂ ☆ to Programmer HumorEnglish · 10 months agomessage-square20fedilink
minus-squareTreenikslinkfedilinkarrow-up2·10 months agojust do everything in Isabelle and prove correctness, ezpz no tests required
minus-squareQuazarOmega@lemy.lollinkfedilinkarrow-up1·10 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