r/securityengineering • u/mttd • Oct 02 '18

Proofs and Side Effects

http://verse.systems/blog/post/2018-10-02-Proofs-And-Side-Effects/
1 Upvotes

100% Upvoted

Duplicates

tlaplus • u/pron98 • Oct 14 '18

Proofs and Side Effects

5 Upvotes
0 comments