{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/stp","name":"stp","description":"Simple Theorem Prover constructs a proof tree\nand searches for a target/conclusion given a\nlist of rewrite rules and axioms/theorems.","version":"0.1.0.1","softwareVersion":"0.1.0.1","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/bor0/stp","url":"https://github.com/bor0/stp","keywords":["bsd3","library","math","program","Propose Tags"],"maintainer":[{"@type":"Person","name":"bor0"}],"author":[{"@type":"Person","name":"bor0"}],"copyrightHolder":[{"@type":"Person","name":"bor0"}],"dateCreated":"2018-11-20","dateModified":"2018-11-21","datePublished":"2018-11-21","copyrightYear":2018,"downloadUrl":"https://hackage.haskell.org/package/stp-0.1.0.1/stp-0.1.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/stp"]}