Merge remote-tracking branch 'bruno/LUnivPaper'
PCC: proof as tree/proof as DAG
PCC: add slide.tex (oups)
Merge remote-tracking branch 'bruno/LUnivPaper'
PCC: Sample proof for RPI
PCC: Better final compressed proof after RPI
PCC: horizontal redundancy
PCC: begin LUniv section
Merge branch 'develop' of https://github.com/Jogo27/ResK-GSoC into LUnivPaper