proof-assistant-bot-0.2.0: Telegram bot for proof assistants

Index - $

$sel:agda:InterpretersSettingsProof.Assistant.Settings
$sel:allocations:InternalInterpreterSettingsProof.Assistant.Settings
$sel:arend:InterpretersSettingsProof.Assistant.Settings
$sel:arendModuleName:ArendSettingsProof.Assistant.Settings
$sel:arendRootProjectDir:ArendSettingsProof.Assistant.Settings
$sel:arendYamlContent:ArendSettingsProof.Assistant.Settings
$sel:arendYamlFilename:ArendSettingsProof.Assistant.Settings
$sel:args:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:botName:SettingsProof.Assistant.Settings
$sel:botToken:SettingsProof.Assistant.Settings
$sel:coq:InterpretersSettingsProof.Assistant.Settings
$sel:cpuTime:ResourceSettingsProof.Assistant.Settings
$sel:dataSize:ResourceSettingsProof.Assistant.Settings
$sel:executable:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:externalArend:ArendSettingsProof.Assistant.Settings
$sel:externalLean:LeanSettingsProof.Assistant.Settings
$sel:fileExtension:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:fileSize:ResourceSettingsProof.Assistant.Settings
$sel:hard:LimitProof.Assistant.Settings
$sel:help:SettingsProof.Assistant.Settings
$sel:helpMessages:SettingsProof.Assistant.Settings
$sel:idris:InterpretersSettingsProof.Assistant.Settings
$sel:inputSize:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:inputSize:InternalInterpreterSettingsProof.Assistant.Settings
$sel:internal:AgdaSettingsProof.Assistant.Settings
$sel:interpretersSettings:SettingsProof.Assistant.Settings
$sel:lean:InterpretersSettingsProof.Assistant.Settings
$sel:openFiles:ResourceSettingsProof.Assistant.Settings
$sel:outputSize:SettingsProof.Assistant.Settings
$sel:priority:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:projectDir:LeanSettingsProof.Assistant.Settings
$sel:resources:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:rzk:InterpretersSettingsProof.Assistant.Settings
$sel:soft:LimitProof.Assistant.Settings
$sel:sourceFileExtension:InternalInterpreterSettingsProof.Assistant.Settings
$sel:sourceFilePrefix:InternalInterpreterSettingsProof.Assistant.Settings
$sel:tempFilePrefix:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:time:ExternalInterpreterSettingsProof.Assistant.Settings
$sel:timeout:InternalInterpreterSettingsProof.Assistant.Settings
$sel:totalMemory:ResourceSettingsProof.Assistant.Settings
$sel:version:SettingsProof.Assistant.Settings