CoqStage

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:

Name		Name	Last commit message	Last commit date
Latest commit History 79 Commits
ALEA		ALEA
.gitignore		.gitignore
LICENSE		LICENSE
Make		Make
Makefile		Makefile
Qmeasure.v		Qmeasure.v
README.md		README.md
RSident.v		RSident.v
bigallpairs.v		bigallpairs.v
distr.v		distr.v
equerre.v		equerre.v
hook.v		hook.v
pair.v		pair.v
program.v		program.v
rat_coerce.v		rat_coerce.v
recyama.v		recyama.v
somme.v		somme.v
ssrpair.v		ssrpair.v
test_somme.v		test_somme.v

Provide feedback