swMATH33223MaRDI QIDQ44932FDOQ44932
Author name not available (Why is that?)
Official website: https://www.lri.fr/~paulin/ALEA/
Source code repository: https://github.com/coq-community/alea
Cited In (2)
This page was built for software: ALEA
