Alignment Workspace

licence: Apache-2.0, one licence for everything

2026-08-11 · settled · DECISIONS.md line 4093

Apache-2.0 for all repository content, code and prose alike. Rationale: Mathlib compatibility upstream; §5 makes contributions inbound-equals-outbound, which matters for anonymous contributors; split licensing rejected as a per-file question that never ends. No per-file headers — the root LICENSE governs. Any copyright line reads "the alignment-workspace contributors", with no personal names.

Touches

Nothing named.

Nodes pointing at it

None.