Олон нийтийн тохиргоо

Панель нь цонхны өргөнийг олж чадахгүй байгаа үед ч гэсэн нийтлэгдсэн үйлдлүүд. Энэ нь Lean kernel-ийн эсэргүүцсэн үйлдэл бөгөөд аргумент нь хэзээ ч зөв биш байсан үйлдлийг зааж өгдөг.

Одоогоор нийтийн тохиргоо байхгүй. Нэгийг эхлүүлж дууссаны дараа нийтэлж болно.

Энд юу байгаа вэ

Энэ сайт нь дүгнэлт хийхэд зориулагдсан: цэвэр болон хэрэглээний математик, логик, онолын компьютерийн шинжлэх ухаан, онолын физик, эдийн засгийн онол - туршилтаас илүүтэй баталгаагаар шийдэгдсэн дүгнэлтүүд. Эмпирийн асуултууд, үнэн зөв хариулт нь теоремын оронд олж авсан зүйл бол, referee.chat- ийн хамтран ажиллагч сайтыг ашиглаарай.

referee.chat руу явах