From 0f368e819278c843c27d92eaab362941d72cab88 Mon Sep 17 00:00:00 2001 From: Ethan Buchman Date: Fri, 13 Jul 2018 08:06:38 +0100 Subject: [PATCH] add readme --- README.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 00000000..068a3c17 --- /dev/null +++ b/README.md @@ -0,0 +1,7 @@ +# Tendermint Spec + +This repository contains the paper describing the Tendermint consensus +algorithm, including formal proofs of its safety and liveness. + +For the pdf, see the [latest +release](https://github.com/tendermint/spec/releases).