Added some details to the first few sections of auto-docs - #12

Open

LennartATSkylabsAI wants to merge 3 commits into

mainfrom

lennart/doc-revision

Commits on May 5, 2026

Added some details to the first few sections of auto-docs
LennartATSkylabsAI
committed
6b13762
Ploishing the sections on function specs & proofs and fractional sharing a bit
LennartATSkylabsAI
committed
0f4e13f
Ploishing the sections on function specs & proofs and fractional sharing a bit
LennartATSkylabsAI
committed
7a25ddd