👀 Интересно, означает ли это, что 5 или около того работ по близости будут иметь доказательства Lean к концу года?