Oℕ
я сделал просто вывод, A, A -> B |- B
это вы называете выводами?, Григорий?
Size: a a a
2020 February 17
M
Такие выводные вы! Очень клевая пати.
Вот бы у скалы было все также хорошо с выводами)
Oℕ
я полагал, что в выводах должно больше одной секвенции так то
V
Кто-то сделал выводы, но мы не можем сделать вывод, кто
не важно кто сделал, важно кто вывел
(
выводы сделаны, Егор
Я вот думаю, это доксинг или не доксинг
GP
я полагал, что в выводах должно больше одной секвенции так то
примитивные выводы
Oℕ
Это выводсинг
GP
выводоксенг да
DM
Вот бы у скалы было все также хорошо с выводами)
Надеюсь нет, иначе это будет системф
Oℕ
Надеюсь нет, иначе это будет системф
нет
GP
в скале уже фсаб о чем ми
V
хорошо у Тонского
Oℕ
на самом деле скала 3 уже гораздо лучше выводы делает
GP
вот бы сча сделать выводы
(
Vasiliy
хорошо у Тонского
Тонсично
Oℕ
Vasiliy
хорошо у Тонского
сделал выводы в голос
GP
/set выводы сделал выводы в голос