ALEA

swMATH33223MaRDI QIDQ44932FDOQ44932

Author name not available (Why is that?)

Source code repository: https://github.com/coq-community/alea

Cited In (1)

• VPHL: a verified partial-correctness logic for probabilistic programs

This page was built for software: ALEA