# safe-coupling: Relational proof system for probabilistic algorithms

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).

[Skip to Readme]

## Modules

*ApplicativeBins*- ApplicativeBins.Bins
- ApplicativeBins.Theorem

*Bins*- Bins.Bins
- Bins.Theorem

*Data*- Data.Derivative
- Data.Dist
- Data.List

*Examples*- Examples.ExpDist

*Misc*- Misc.ProofCombinators

*Monad*- Monad.PrM
- Monad.PrM.Laws
- Monad.PrM.Predicates
*Relational**TCB*- Monad.PrM.Relational.TCB.EDist
- Monad.PrM.Relational.TCB.Spec

- Monad.PrM.Relational.Theorems

- Monad.PrM
*SGD*- SGD.SGD
- SGD.Theorem

*TD**Lemmata**Relational*- TD.Lemmata.Relational.Act
- TD.Lemmata.Relational.Iterate
- TD.Lemmata.Relational.Sample
- TD.Lemmata.Relational.Update

- TD.TD0
- TD.Theorem

## Downloads

- safe-coupling-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)

#### Maintainer's Corner

For package maintainers and hackage trustees

Candidates

- No Candidates

Versions [RSS] | 0.1.0.0, 0.1.0.1 |
---|---|

Change log | ChangeLog.md |

Dependencies | liquid-base (>=4.14.0 && <4.16), liquid-containers (>=0.6.2 && <0.7), liquid-prelude (>=0.8.10 && <0.9), liquidhaskell (>=0.8.10 && <0.9), probability (>=0.2.7 && <0.3), rest-rewrite (>=0.1.1 && <0.2) [details] |

License | BSD-3-Clause |

Copyright | 2020-21 Lisa Vasilenko & Niki Vazou, IMDEA Software Institute |

Author | Lisa Vasilenko, Niki Vazou |

Maintainer | Lisa Vasilenko <vasilliza@gmail.com> |

Category | Formal Methods |

Home page | https://github.com/nikivazou/safe-coupling |

Bug tracker | https://github.com/nikivazou/safe-coupling/issues |

Source repo | head: git clone https://github.com/nikivazou/safe-coupling |

Uploaded | by oquechy at 2022-06-15T20:05:28Z |

Distributions | |

Downloads | 95 total (1 in the last 30 days) |

Rating | 2.0 (votes: 1) [estimated by Bayesian average] |

Your Rating | |

Status | Docs not available [build log] All reported builds failed as of 2022-06-15 [all 2 reports] |