{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/PropLogic","name":"PropLogic","version":"0.9.0.4","softwareVersion":"0.9.0.4","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"http://src.seereason.com/darcs/PropLogic","url":"http://www.bucephalus.org/PropLogic","keywords":["algorithms","bsd3","library","logic","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"DavidFox"}],"author":[{"@type":"Person","name":"DavidFox"}],"copyrightHolder":[{"@type":"Person","name":"DavidFox"}],"dateCreated":"2011-10-11","dateModified":"2012-04-16","datePublished":"2012-04-16","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/PropLogic-0.9.0.4/PropLogic-0.9.0.4.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/PropLogic"]}