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

# How to build project

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