proof-assistant-bot (hackage): Bridge between Telegram Bot and several proof assistants.  Currently following proof assistant supported: Agda, Arend, Coq, Idris 2, Lean, Rzk  See README.md for more details.
Keywords: dependent-types|library|mit|program