14446
Вопросы про Python для чайников. Cпам и троллинг неприемлем. Частозадаваемые вопросы: https://github.com/ru-python-beginners/faq/blob/master/README.md Правила группы: https://t.me/ru_python_beginners/1649981
Ты думаешь, это не порт нотепад++, а что то совсем не связанное?
Читать полностью…
Ну там явно можно было доказать один раз что a+...+c = a+c+..., но заставляют для 5-6 аргументов вручную
Читать полностью…
https://github.com/rocq-community/fav-ssr/blob/trunk/src/redblack.v
Читать полностью…
Ну вообще все в нашем мире это перепись термов
Читать полностью…
Да не надо там думать, там надо правильно ему объяснить что переставляем местами. Синтаксис всратый
Читать полностью…
В Киберпанк/ведьмака/зельду я несколько месяцев играл
Читать полностью…
https://adam.math.hhu.de/#/g/leanprover-community/nng4/world/Tutorial/level/0
Читать полностью…
Я бы предположил, что нейронкой ткнули в проект и сказали "портировай".
Читать полностью…
Там всё очень сильно завязано на winapi.
https://community.notepad-plus-plus.org/topic/26867/linux-desktop-version-of-notepad-plus-plus-native-crossplatform
И из-за этого дальше при сочетании с умножением становится муторно доказывать
Читать полностью…
у меня так примерно на 2ом уровне уже произошло
Читать полностью…
а просто знания закончились и настал момент когда надо думать
Читать полностью…
Игра скучная, я умер на комбинаторике сложений
Читать полностью…