186просмотров
28 июля 2025 г.
📷 ФотоScore: 205
Завтра ждём новое начало изучения изобельки. Причём начнём издалека, с небольшой такой справочки зачем эти ваши теорем пруверы нужны и какой от них толк.
З
Записки юного ярослэма
@yaroslamThink13 подп.
186
просмотров
153
символов
Нет
эмодзи
Да
медиа
Другие посты @yaroslamThink
Isabelle/HOL: первые шаги Если коротко, Isabelle/HOL - это среда для формальных доказательств, где👁 212Сегодня поговорим о том, зачем нужна формальная верификация, как ей пользоваться и чем это лучше тес👁 200Собираем истинно НАШ сетап из технологий для проекта. Писать все будем на PHP(да все, никакого js👁 198Циатата дня - "В тусовке разработчиков всего мира брать опенсорные решения — это зашквар, это делаю👁 192Буквально недвано вышла такая замечательная вещь, как Laravel Boost. Это специальный mcp сервер для👁 92
Все посты канала →