{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/tptp","name":"tptp","description":"Parser and pretty printer for the TPTP language","version":"0.1.3.0","softwareVersion":"0.1.3.0","license":"https://spdx.org/licenses/GPL-3.0-only","codeRepository":"https://github.com/aztek/tptp","issueTracker":"https://github.com/aztek/tptp/issues","url":"https://github.com/aztek/tptp","keywords":["formal-methods","gpl","language","library","parsing","pretty-printer","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"EK"}],"author":[{"@type":"Person","name":"EK"}],"copyrightHolder":[{"@type":"Person","name":"EK"}],"dateCreated":"2019-05-07","dateModified":"2021-01-11","datePublished":"2021-01-11","copyrightYear":2019,"downloadUrl":"https://hackage.haskell.org/package/tptp-0.1.3.0/tptp-0.1.3.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/tptp"],"https://www.w3.org/ns/activitystreams#likes":7,"https://forgefed.org/ns#forks":2}