{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/proof-assistant-bot","name":"proof-assistant-bot","description":"Bridge between Telegram Bot and several proof assistants.\n\nCurrently following proof assistant supported: Agda, Arend, Coq, Idris 2, Lean, Rzk\n\nSee README.md for more details.","version":"0.2.2","softwareVersion":"0.2.2","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/swamp-agr/proof-assistant-bot","issueTracker":"https://github.com/swamp-agr/proof-assistant-bot/issues","url":"https://github.com/swamp-agr/proof-assistant-bot/","keywords":["dependent-types","library","mit","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"swamp_agr"}],"author":[{"@type":"Person","name":"swamp_agr"}],"copyrightHolder":[{"@type":"Person","name":"swamp_agr"}],"dateCreated":"2022-12-10","dateModified":"2024-02-07","datePublished":"2024-02-07","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/proof-assistant-bot-0.2.2/proof-assistant-bot-0.2.2.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/proof-assistant-bot"],"https://www.w3.org/ns/activitystreams#likes":10,"https://forgefed.org/ns#forks":1}