ALEA

swMATH33223MaRDI QIDQ44932

No author found.

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

Related Items (1)

VPHL: a verified partial-correctness logic for probabilistic programs

This page was built for software: ALEA