zefram.eth
@boredGenius
Finally giving privacy to crypto users @FoglightPrivacy
Joined July 2015
2.2K Following 25.7K Followers
you still think formally verified smart contracts isn't the future anon?
As I predicted. Mythos is much better, much faster, and much cheaper than Aristotle. This is the end for specialized lean provers
