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

This formal specification and correctness proofs are documented in the manual at:
http://acl2.org/manual?topic=ALEOBFT____ALEOBFT
