Chris on Twitter: "#Solidity's new #SMT checker tells me that 23447 is a #prime and 23449 is not (23449 = 131 * 179) #ethereum #formalverification https://t.co/Vg8PQQpHFc" / Twitter - discu.eu

Reddit

Solidity's new SMT checker tells me that 23447 is a prime and 23449 is not (23449 = 131 * 179) https://twitter.com/ethchris/status/918101382607048704 9 comments 11/10/2017 ethereum

Linking pages

How to Secure Your Smart Contracts: 6 Solidity Vulnerabilities and how to avoid them (Part 2) | by Georgios Konstantopoulos | Loom Network | Medium https://medium.com/loom-network/how-to-secure-your-smart-contracts-6-solidity-vulnerabilities-and-how-to-avoid-them-part-2-730db0aa4834 5 comments

Related searches:

Search whole site: site:twitter.com

Search title: Chris on Twitter: "#Solidity's new #SMT checker tells me that 23447 is a #prime and 23449 is not (23449 = 131 * 179) #ethereum #formalverification https://t.co/Vg8PQQpHFc" / Twitter

See how to search.

Submit link to: