README.md

intro:

Consensus algorithms allow a collection of machines to work as a coherent group that can survive the failures of some of its members

notes:

a naive implementation without intention to use in production systems.

links:

• whitepaper
• tla+ specification
  • tla+ describing
• presentation based on whitepaper