NN.Examples.Zoo

Single umbrella for TorchLean examples.

The examples directory intentionally keeps only one root Lean entrypoint. Import this module when you want to compile every maintained example module, including quickstarts, model examples, interop examples, widgets, advanced tutorials, and verification examples.

Typical usage:

• Build the full example surface: lake build NN.Examples.Zoo
• Run model examples through the CLI: lake exe torchlean mlp -- --steps 10
• Run standalone executables directly when they intentionally define their own root main (for example lake exe torchlean gpt_adder --steps 1000).

The heavier examples remain in their subdirectories so users can still build or run one example at a time. This umbrella avoids importing standalone executable roots that would collide on the global Lean name main.