Das MPC im Head Paradigma erklärt von @mvenkita Hier ist eine vollständige Whiteboard-Sitzung zum Ligero Proof System: