The public gallery
გამოქვეყნებული შესრულებები, მათ შორის ისეთებიც, სადაც პანელმა ვერ მიაღწია ბარათს. ეს შედეგი არის აზრი: ფორმალიზაცია Lean kernel- ის უარყოფითად აცხადებს, რომ ზუსტად იცით, რომელი ნაბიჯი არგუმენტი არასდროს არ მართლდება.
What belongs here
referee.chat-ზე გადასვლა