Oℕ
Size: a a a
2021 March 05
Oℕ
Мне нужно что бы я мог в notepad'e читать комфортно
тебе повезло как раз, идеальный язык для этого
Oℕ
нечитаемая хуйня
абсолютно читаемая
ᛒ
а чем пользуешься? в смысле определение >=?
голым коком, чел скинул свою репу попросил запруфать что
n >= n, а я сам хз даж не дошел вродь в сф до етого
ᛒ
там были через >=?
ᛒ
а вот тупо n >= n такого не
AT
голым коком, чел скинул свою репу попросил запруфать что
n >= n, а я сам хз даж не дошел вродь в сф до етогоможешь отправить чела в чат по коку — может кто-нибудь подскажет
AT
а если нет, то я попозже посмотрю, только нужны импорты
ᛒ
а если нет, то я попозже посмотрю, только нужны импорты
не стоит
AT
не стоит
ударение нужно, про кок говорим же
Oℕ
голым коком, чел скинул свою репу попросил запруфать что
n >= n, а я сам хз даж не дошел вродь в сф до етогоhttps://coq.inria.fr/library/Coq.Arith.Le.html
конструктор le_n
конструктор le_n
Oℕ
Почему я умею гуглить, а ты нит
AT
а вдруг он нормальным определением пользуется ;)
Oℕ
а вдруг он нормальным определением пользуется ;)
n <= n == true ?
ᛒ
n <= n == true ?
O_o
AT
n <= n == true ?
примерно)
λ
https://coq.inria.fr/library/Coq.Arith.Le.html
конструктор le_n
конструктор le_n
так он ничего кроме шавухи в Иркутске искать не умеет