Sienna Meridian Satterwhite 385e9d4c59 chore: add SPDX copyright headers and update license year ...

Add `// Copyright Sunbeam Studios 2026` and `// SPDX-License-Identifier:
Apache-2.0` headers to all source files missing them. Update LICENSE
copyright year, Dockerfile copyright header, and .dockerignore for new
project structure (lean4/, docs/, training artifacts).

Signed-off-by: Sienna Meridian Satterwhite <sienna@sunbeam.pt>

2026-03-10 23:38:21 +00:00

14 KiB

Raw Permalink Blame History

View Raw