Index - C
| Call | Proof.Assistant.Bot |
| callAgda | Proof.Assistant.Agda |
| callArend | Proof.Assistant.Arend |
| callExternalInterpreter | Proof.Assistant.Interpreter |
| callIdris2 | Proof.Assistant.Idris |
| callLean | Proof.Assistant.Lean |
| callRzk | Proof.Assistant.Rzk |
| catchAgdaError | Agda.Interaction.State |
| chatIdToString | Proof.Assistant.RefreshFile |
| checkFile | Agda.Interaction.Command.Reload |
| chooseCommand | |
| 1 (Function) | Idris.Interaction.Command |
| 2 (Function) | Agda.Interaction.Command |
| CmdArgs | |
| 1 (Type/Class) | Proof.Assistant.Settings |
| 2 (Data Constructor) | Proof.Assistant.Settings |
| Constraints | Agda.Interaction.Command |
| Context | Agda.Interaction.Command |
| Coq | Proof.Assistant.Bot |
| coq | Proof.Assistant.Transport |