примерно 12 студентов на одно задание, но можно сильно не париться на счет проверки, т.к. Coq все проверяет) я только подсказываю те месте, где доказательства не являются идиоматичными
примерно 12 студентов на одно задание, но можно сильно не париться на счет проверки, т.к. Coq все проверяет) я только подсказываю те месте, где доказательства не являются идиоматичными
Я сегодня проверил 50 домашек по дискретке и чуть не повесился