The latest version of proof-assistant-bot is 0.2.2-0.
proof-assistant-bot
Version 0.2.0 revision 0 uploaded by swamp_agr.
Package meta
- Synopsis
- Telegram bot for proof assistants
- Description
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.
- Author
- Andrey Prokopenko
- Bug reports
- https://github.com/swamp-agr/proof-assistant-bot/issues
- Category
- Dependent types
- Copyright
- n/a
- Homepage
- https://github.com/swamp-agr/proof-assistant-bot/
- Maintainer
- persiantiger@yandex.ru
- Package URL
- n/a
- Stability
- n/a