@hackage proof-assistant-bot0.2.2

Telegram bot for proof assistants

Categories
License
MIT
Maintainer
persiantiger@yandex.ru
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.2.2 Wed, 7 Feb 2024
- 0.2.1 Tue, 7 Feb 2023
- 0.2.0 Sat, 10 Dec 2022

Installation
In your cabal file:
Dependencies (16)
- base <4.18
- proof-assistant-bot
Dependents (0)

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.