Verification Examples

Runnable and theorem-backed examples for TorchLean's verification stack. Reusable checker implementations live under NN.Verification; this namespace gathers the small example entrypoints and bundled artifacts that make the workflows easy to run.