Reverse Dependencies of Lean

The following projects have a declared dependency on Lean:

• wizardry — Wizardry is an open-source CLI for building powerful algorithmic trading strategies faster and easier