bugarela to Programming LanguagesEnglish · 2 years agoQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up18arrow-down11
arrow-up17arrow-down1external-linkQuint: An executable specification language with delightful tooling based on the temporal logic of actions (TLA)plus-squaregithub.combugarela to Programming LanguagesEnglish · 2 years agomessage-square0linkfedilink
