Formal Verification in Any Language for Everybody

 (dev-log.me)

4 points | by yannick-cw 1 hour ago

0 comments