Əsas galeri

Panelin bar'a çatmadığı yerlər də daxil olmaqla yayımlanan işləmələrə. Bu nəticə nöqtədir: Lean kernelinin rədd etdiyi formalizasiya sizə arqumentin heç vaxt doğrulanmayan hansı addımını tam olaraq bildirir.

Burada nə var?

Bu sayt deduktiv iş üçün yaradılmışdır: təmiz və tətbiqi riyaziyyat, məntiq, nəzəri kompüter elmləri, nəzəri fizika və iqtisadi nəzəriyyə - eksperimentdən daha çox sübutla həll edilən iddialar. Empirik suallar üçün, doğru qərarın teoremdən daha çox tapıntı olduğu yerlərdə, əvəzinə referee.chat adlı bacı saytımızı istifadə edin.

referee.chat-ə get