Repository navigation

THEORY.md shows the structure; details in module READMEs - #34

Merged

MarcIlunga merged 2 commits into

typed-systemsfrom

Oct 13, 2026

Merged

THEORY.md shows the structure; details in module READMEs#34
MarcIlunga merged 2 commits into
typed-systemsfrom
theory-readmes

Commits on Oct 13, 2026
- Docs: THEORY.md shows the structure, details in module READMEs
  
  MarcIlunga
  and
  claude
  committed
  60fe46d
- Docs: the instance table moves to the ConstructiveCryptography README
  
  MarcIlunga
  and
  claude
  committed
  9038644