Index - S
| Score | Lang.Classification |
| score | Lang.Classification |
| select | Lang.Classification |
| selectByAnnotation | Lang.Classification |
| selectCustom | Lang.Classification |
| selectCustom' | Lang.Classification |
| SimpleArithmeticPostProcess | |
| 1 (Type/Class) | Lang.ClassificationInstances |
| 2 (Data Constructor) | Lang.ClassificationInstances |
| std | Lang.Evaluation |
| Strategy | Lang.Classification |
| Sub | Lang.Lang |
| substExpr | Lang.Lang |
| substVar | Lang.Lang |
| subTreeByJudge | Lang.NamedExplanation |
| suppose | Logic.Proof |