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

Index - B

BackendProof.Assistant.Bot
botSettingsProof.Assistant.Transport
BotState 
1 (Type/Class)Proof.Assistant.Transport
2 (Data Constructor)Proof.Assistant.Transport
bsToTextProof.Assistant.Helpers