👀 Цікаво, чи означає це, що приблизно 5 робіт з проміжним розривом до кінця року також матимуть Lean proofs