گالری عمومی
اجراهای منتشر شده، از جمله کسانی که پنل نمی‌تواند به بار برسد. این نتیجه نقطه است: یک فرمول‌بندی که هسته Lean رد می‌کند دقیقاً به شما می‌گوید که کدام گام استدلال هرگز توجیه نشده است.
چي به اينجا تعلق داره
برو به referee.chat
اجراهای منتشر شده، از جمله کسانی که پنل نمی‌تواند به بار برسد. این نتیجه نقطه است: یک فرمول‌بندی که هسته Lean رد می‌کند دقیقاً به شما می‌گوید که کدام گام استدلال هرگز توجیه نشده است.