Formal Verification in Any Language for Everybody

(dev-log.me)

4 points | by yannick-cw 9 hours ago ago