# Tendermint-spec

The repository contains the specification (and the proofs) of the Tendermint consensus protocol.

# How to install Latex on Mac OS

MacTex is Latex distribution for Mac OS. You can download it here (opens new window).

Popular IDE for Latex-based projects is TexStudio. It can be downloaded here (opens new window).

In order to compile the latex files (and write bibliography), execute

$ pdflatex paper
$ bibtex paper
$ pdflatex paper
$ pdflatex paper

The generated file is paper.pdf. You can open it with

$ open paper.pdf

Questions?

Chat with Tendermint developers in Discord or reach out on the Tendermint Forum to learn more.

The development of Tendermint Core was led primarily by All in Bits, Inc. The Tendermint trademark is owned by New Tendermint, LLC.