Wiki Agenda Contact Version française

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)