Index - S
| safeParsePrint | Parser.IncompleteProof |
| sc | Parser.Util |
| setFocus | App.Update |
| SetProof | App.Model |
| Setup | App.Model |
| showTooltip | App.Update |
| sidebarToggle | App.Model |
| SpawnLine | App.Model |
| SpawnProof | App.Model |
| SpawnStart | App.Model |
| SpawnType | App.Model |
| spawnType | App.Model |
| startAppWrapper | App.Entry |
| SubProof | Fitch.Proof |
| Subst | |
| 1 (Type/Class) | Specification.Types |
| 2 (Data Constructor) | Specification.Types |
| subst | Fitch.Unification |
| Substitute | Fitch.Unification |
| symbol | Parser.Util |