Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

proof-assistant-bot

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.

Ecosystem
hackage.haskell.org
Latest Release
0.2.2
about 2 years ago
Versions
3
Downloads
255 total
Dependent Packages
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/proof-assistant-bot
    spec
    License MIT
    First Release about 3 years ago
    Last Synced 20 days ago
    Keywords
    dependent-types library mit program Propose Tags
    Repository
    Stars 10 on GitHub
    Forks 1 on GitHub
    Commits 36
    Committers 1
    Avg per Author 36.0
    DDS 0.0
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on hackage.haskell.org
    Dependent packages Top 6.0%