Əsas

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.

Əlavə uyğunluq yoxdur. Birini başlat və bitdikdə yayımla.

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