{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/safe-coupling","name":"safe-coupling","description":"Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound Kantorovich distance between two distributions and establish a boolean relation on samples from two distributions (the latter is stronger).","version":"0.1.0.1","softwareVersion":"0.1.0.1","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/nikivazou/safe-coupling","issueTracker":"https://github.com/oquechy/safe-coupling/issues","url":"https://github.com/nikivazou/safe-coupling","keywords":["bsd3","formal-methods","library","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"oquechy"}],"author":[{"@type":"Person","name":"oquechy"}],"copyrightHolder":[{"@type":"Person","name":"oquechy"}],"dateCreated":"2022-03-23","dateModified":"2022-06-15","datePublished":"2022-06-15","copyrightYear":2022,"downloadUrl":"https://hackage.haskell.org/package/safe-coupling-0.1.0.1/safe-coupling-0.1.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/safe-coupling"],"https://www.w3.org/ns/activitystreams#likes":3,"https://forgefed.org/ns#forks":1}