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

Index - G

getQueueSizeProof.Assistant.Settings
getSettingsProof.Assistant.Interpreter
getTempFilePathProof.Assistant.RefreshFile
GiveAgda.Interaction.Command
giveMetaAgda.Interaction.Command.GiveMeta