Oℕ
Size: a a a
2020 August 04
AG
гивен два терма с дырками, найти подстановку или наебнуться
Oℕ
я имел в виду, что он отвечает на вопрос именно выделяя перестановки как отдельную компоненту
Oℕ
и оперируя именно этими сетами перестановок
R
не обязательно для пруверов, обычные интерпретаторы-компиляторы на этом тоже можно писать, надеюсь габбай на практикуме это и покажет
ну я вот подумал про динамическую подгрузку кода с этой теоремой свежести
GP
Kirill Shelopugin
Так, цусима нормальная игра по итогу?
да
AG
и оперируя именно этими сетами перестановок
вот кстати поэтому мне и кажется что номинальное/кодебрёйн соотносится как сепарационка/линейное
R
Kirill Shelopugin
Так, цусима нормальная игра по итогу?
ты секиру прошел?
AG
т.е. это такая металогика для thinnings
Oℕ
что такое thinnings
Oℕ
нечто, что сворачивает альфа эквивалентные термы в один, типа квошиент по альфе ищет?
KS
ты секиру прошел?
Нет ещё.
AG
понятно
обобщение Elem грубо говоря
R
Kirill Shelopugin
Нет ещё.
ну вот как пройдешь может уже елден ринг выйдет))
Oℕ
да, я когда мучался с катами
Oℕ
хотел использовать такой для супертолстого викенинга
KS
Да я пока доту допрохожу.