{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/qed","name":"qed","description":"A prototype proof system.","version":"0.0","softwareVersion":"0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/ndmitchell/qed","issueTracker":"https://github.com/ndmitchell/qed/issues","url":"https://github.com/ndmitchell/qed#readme","keywords":["bsd3","library","theorem-provers","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"NeilMitchell"}],"author":[{"@type":"Person","name":"NeilMitchell"}],"copyrightHolder":[{"@type":"Person","name":"NeilMitchell"}],"dateCreated":"2015-11-03","dateModified":"2015-11-03","datePublished":"2015-11-03","copyrightYear":2015,"downloadUrl":"https://hackage.haskell.org/package/qed-0.0/qed-0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/qed"],"https://www.w3.org/ns/activitystreams#likes":3}