{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/ivor","name":"ivor","version":"0.1.14","softwareVersion":"0.1.14","license":"https://spdx.org/licenses/BSD-3-Clause","url":"http://www.dcs.st-and.ac.uk/~eb/Ivor/","keywords":["bsd3","dependent-types","deprecated","library","theorem-provers","Propose Tags"],"maintainer":[{"@type":"Person","name":"GwernBranwen"},{"@type":"Person","name":"EdwinBrady"}],"author":[{"@type":"Person","name":"GwernBranwen"},{"@type":"Person","name":"EdwinBrady"}],"copyrightHolder":[{"@type":"Person","name":"GwernBranwen"},{"@type":"Person","name":"EdwinBrady"}],"dateCreated":"2008-03-12","dateModified":"2011-04-18","datePublished":"2011-04-18","copyrightYear":2008,"downloadUrl":"https://hackage.haskell.org/package/ivor-0.1.14/ivor-0.1.14.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/ivor"]}