.@StellarOrg do you have a proof of your new consensus protocol in a form amenable to automated model checking (e.g. TLA+)?
-
-
-
@tinkerware yeah they already responded as such:https://twitter.com/StellarOrg/status/585993901716086784 …
End of conversation
New conversation -
-
-
@bascule Hey, at least for the moment, the proofs are English language only. -
@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
End of conversation
New conversation -
-
-
@bascule Feel free to chat in http://slack.stellar.org/ or IRC#stellar-dev and discuss with Prof. Mazières and the rest of the Stellar team :)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.