Library

NN.Library is the curated umbrella import for TorchLean's broad reusable library surface area.

It includes:

• the public user API (NN.API.Public),
• subsystem entrypoints (NN.Entrypoint.*),
• the shared op-tagged IR through NN.Entrypoint.IR,
• ML-theory and tensor APIs,
• infoview tooling through NN.Entrypoint.Widgets,
• and proof-backed verification APIs through NN.Entrypoint.Verification.

It excludes:

• executables / examples that define main
• test suites and benchmark runners

Trust-boundary documentation lives in TRUST_BOUNDARIES.md, where it can cover both Lean declarations and external CUDA / Python / Julia / Arb producers without treating those prose notes as part of the Lean API.

If you are writing ordinary model/training code, use import NN. For lighter imports, use NN.Entrypoint.API, NN.Entrypoint.Tensor, NN.Entrypoint.IR, or another subsystem entrypoint.