A probabilistic proof of the Hook-Length Formula
After Greene–Nijenhuis–Wilf proof, Discrete Math. 51 (1984), 101–108.
Note: This code is no more maintained, It is merged in https://github.com/hivert/Coq-Combi
Authors:
- Florent Hivert
- Christine Paulin
- Olivier Stietel