👀 Ich frage mich, ob das bedeutet, dass die etwa 5 Papiere zur Nähe bis Ende des Jahres auch Lean-Beweise haben werden.