GitHub repository: moves-rwth/caesar
Primary language: Rust
Description: Deductive verification infrastructure for probabilistic programs