This directory contains an ACL2 library for Leo,
a high-level language for writing zero-knowledge applications
for the Aleo blockchain.

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