Formal Verification in Any Language for Everybody

 (dev-log.me)

4 points | by yannick-cw 9 hours ago ago

No comments yet.