Another Ripple/Stellar/Tendermint-like thing: http://hyperledger.com/ and yet no temporal logic-based proof-of-correctness :(
TLA+ OR GTFO
6:27 PM - 3 Apr 2015
1 reply
3 retweets
3 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.