Usage Example
This example showcases how to bind library dependencies and execute the Aesop
tactic in Lean. First build the example project:
pushd Example
lake build
popd
This would generate compiled .olean files. Then run the example from the
project root:
poetry run examples/aesop.py