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

Index - U

updateToActionProof.Assistant.Bot
updateToRequestProof.Assistant.Request