This directory contains formal specifications and correctness proofs of AleoBFT,
the Byzantine-fault-tolerant consensus protocol of the Aleo blockchain.

This AleoBFT library is documented in the manual at:
http://acl2.org/manual?topic=ALEOBFT____ALEOBFT
