تطابق عمومی

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

هنوز تطابق عمومی وجود ندارد. یکی را شروع کنید و وقتی تمام شد منتشرش کنید.
چي به اينجا تعلق داره

This site is built for deductive work: pure and applied mathematics, logic, theoretical computer science, theoretical physics and economic theory — claims that are settled by proof rather than by experiment. For empirical questions, where the honest verdict is a finding rather than a theorem, use our sister site referee.chat instead.

برو به referee.chat