Skip to content

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

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/mathesis-stage-3-reanchoring-s2qr20
Nov 12, 2026
Merged

applied: input schema, cohort model in Agda, three worked examples (WO 4.2, 1 of 3)#81
hyperpolymath merged 4 commits into
mainfrom
claude/mathesis-stage-3-reanchoring-s2qr20

roadmap: record the licence of the JSON Lines data files as an open item

9709a54
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar