Proof documentation has broken links

Thanks! I used to work with prooflite and now I was thinking in configure proof, but I’ll take a look to RDataFrame to start using it.
Cheers!