A verified permissioned centralized Blockchain for Isabelle/HOL

In a modern world, where Things™ are internetworked, distributed, smart, low-power, and pervasive, modern technologies are needed for the progress of society and survival of humanity. Of all generic multi-purpose accounting technologies, blockchains may the the most hyped and medicore technology of our decade. Since the incubation of bitcoin is to celebrate its tenth anniversary soon, the FUD decided not to limb behind and announces the launch of our own blockchain today.

Be part of the next generation of distributed hyper blockchain technologies! Add a block to our blockcahin. Send pull requests here.

• First public block by @tirix in #1
• Resolve first split of the chain by @diekmann in #3
• First block in the new authoritative chain by @larsrh in #4