.@StellarOrg do you have a proof of your new consensus protocol in a form amenable to automated model checking (e.g. TLA+)?
Replying to @StellarOrg
@StellarOrg it's cool you have a proof at all! But the problem with pure prose is it's written by humans who make mistakes
7:42 PM - 8 Apr 2015
0 replies
0 retweets
1 like
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.