👀 Acaba bu, yıl sonuna kadar yaklaşık 5 yakınlık boşluğu makalesinin de Lean proof'ları olacağı anlamına mı geliyor