Widget Gallery

The gallery is best explored in an editor:

• put the cursor on a #tensor_view / #ir_view / #float32_view line, and
• Lean will render a small interactive HTML panel in the infoview.

These widgets are inspection tools for teaching, debugging, and reviewing artifacts without leaving Lean. They are available through the dedicated widget entrypoint (import NN.Widgets) so ordinary runtime and proof imports stay focused.

RL (GridWorld) widgets

These compact panels are useful when iterating on RL specs and proofs: they let you inspect state encodings, policies, and rollout traces in the infoview.