see also the index (by topic, by tool, by reference, by year)
Alea
http://www.lri.fr/~paulin/ALEA
A library for reasoning on randomized algorithms in Coq
see also the index (by topic, by tool, by reference, by year)
see also the index (by topic, by tool, by reference, by year)
http://www.lri.fr/~paulin/ALEA
A library for reasoning on randomized algorithms in Coq
see also the index (by topic, by tool, by reference, by year)