Ideas on derivation#235

Draft

enikao wants to merge 9 commits intomainfrom

niko/derivation-ideas

Commits on Feb 4, 2024

first sketch on derived models
enikao
committed

Commits on Feb 11, 2024

Commits on Mar 11, 2024

Added some question to the derivation document.
joswarmer
committed

Commits on Apr 2, 2024

Commits on May 7, 2024