NN

Canonical TorchLean umbrella import.

This re-exports NN.Library, the curated umbrella for TorchLean's reusable API, runtime, proof, verification, and widget surface. Ordinary downstream files can start here:

import NN
open TorchLean

The public names remain under the TorchLean namespace because that is the project API, but the module import is NN. For smaller imports, use NN.Entrypoint.API, NN.Entrypoint.Tensor, NN.Entrypoint.IR, or another subsystem entrypoint.