Education
Education modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Education.AssessmentTypesFromConfigDim |
1 | 0 | 1 | 35 | — |
Education.MasteryDesignFromGap45 |
5 | 0 | 5 | 79 | — |
Education.MasteryDesignFromJCost |
0 | 0 | 1 | 31 | — |
Education.MasteryThresholdFromGap45 |
7 | 0 | 7 | 139 | — |
Education.PedagogyModelsFromConfigDim |
1 | 0 | 1 | 36 | — |
Education.PedagogyOptimalRateFromGap45 |
7 | 0 | 5 | 112 | — |