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

Index - N

newAgdaStateAgda.Interaction.State
newBotStateProof.Assistant.Transport
newInterpretersProof.Assistant.Transport
newInterpreterStateProof.Assistant.State