Next up at #Hedera18: @leemonbaird will present an intro to how mathematical proofs can be checked by a computer and how this can be useful in projects where security and correctness is importanthttps://www.youtube.com/watch?v=TRFd_b-2yXQ …
0 replies
2 retweets
6 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.