ЛаМПовое с Бобровским
@lambda_brain
Сергей Бобровский из Лаборатории Математики и Программирования https://t.me/lambda_brain
Топ-5 постов по просмотрам
Все посты →Началось!!1 :) Germany Paid Arch Linux $500K to Re-write Package Management in Rust
Началось!!1 :) Germany Paid Arch Linux $500K to Re-write Package Management in Rust
Coq: The world’s best macro assembler Используем популярный пруф-ассистант как мощный макроассемблер. Всё от моделирования архитектуры до генерации б
Coq: The world’s best macro assembler Используем популярный пруф-ассистант как мощный макроассемблер. Всё от моделирования архитектуры до генерации б
"Foundations without Foundationalism: A Case for Second-Order Logic" 1991 База по SOL: логика второго порядка играет центральную роль в математике.
Ссылка на MaxBook страницу
maxbook.ru/m/lambda_brain
Данные обновляются автоматически