applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3) - #81

applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)#81

hyperpolymath merged 4 commits into

mainhyperpolymath/mathesis:mainfrom

claude/mathesis-stage-3-reanchoring-s2qr20hyperpolymath/mathesis:claude/mathesis-stage-3-reanchoring-s2qr20Copy head branch name to clipboard