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).