{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/hol","name":"hol","description":"This package implements a higher order logic kernel with OpenTheory support.","version":"1.4","softwareVersion":"1.4","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/gilith/hol","issueTracker":"https://github.com/gilith/hol/issues","keywords":["library","logic","mit","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"JoeHurd"}],"author":[{"@type":"Person","name":"JoeHurd"}],"copyrightHolder":[{"@type":"Person","name":"JoeHurd"}],"dateCreated":"2017-04-07","dateModified":"2022-08-08","datePublished":"2022-08-08","copyrightYear":2017,"downloadUrl":"https://hackage.haskell.org/package/hol-1.4/hol-1.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/hol"],"https://www.w3.org/ns/activitystreams#likes":15,"https://forgefed.org/ns#forks":1}