Verifying Probabilistic Programs in Rust

2 pointsposted 12 hours ago
by Jimmc414
(arxiv.org)

No comments yet