465+4
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Chaînes similaires
18944+333
Знайти, запитати, порадитись, поділитись досвідом 📌КАНАЛ З КОРИСНОЮ ІНФОРМАЦІЄЮ https://t.me/espana_ucrania_canal ідеї, питання, пропозиції 👇 Instagram/Telegram: @tteslia
16505−675
Группа для предпринимателей: Изготовителей/Дистрибьютеров/Продавцов маркетплейс💼 Cертификаты, декларации, отказные письма, лабораторные исследования, с выдачей протокола испытания.✨ ИНН 9731059253 Контакты: @certificate_adm www.crimpalsert.ru
59360−2873
Реклама учун⬇️ Админ @sarvarsux @piterdaish_elonlar @piterdaish_elon @piterda_piterda @rusishlar @piterrabota1 @rabota_piterr1 @piter_reklamalar @MOSKVADAN1 @aviakassas @aviakassasarvar @universitetrussia @ishchilarkerak https://t.me/+r3fip_KnqaVlNWMy
20600+38
🇰🇿🇺🇿🇷🇺Грузоперевозки. Цены на перевозку грузов, найти грузы и транспорт для автоперевозки по Казахстану, международные грузоперевозки. Реклама: @JohnAlex55
14794+48
🔹Группа создана на общественных началах. Участники группы - МОРЯКИ, которые против коррупционных схем в сферах подготовки и дипломирования моряков. 🔹Цель - простая и прозрачная система дипломирования моряка. 🔹https://t.me/UkrainianSeafarersUnion
19708−44
Проекты, стажировки и вакансии для студентов Нетологии напрямую от работодателей. Найти сотрудника или разместить резюме в Бирже: https://t.me/netology_project/40873 Мы модерируем чат, но не влияем на сам поток вакансий. По всем вопросам — @Tamikatam
17582+13
Official Group of Technobuzz.net (https://www.youtube.com/user/Technobuzznet/videos) Channel @technobuzzofficial For group updates join Technobuzznet UPDATES https://t.me/technobuzzofficial For wallpapers join Android Wallpaper & Themes @androidthemesTB
19258−152
The Official Group of Primeroom. Chat, Discuss Movies, Shows, MCU, DC, Leaks, Insider News and More. https://t.me/addlist/1KkaVYSlnF80ODE1 Announcements @PrimeroomBkp Official Deals Channel @TheDealsRoom Connect to Admins @tgDMbot
54434+2715
🧵Каталог Швейных Производств 💬 По всем вопросам — администратор @sewing_daniil 📣Наш канал — @sewing_catalog_channel 🌿Экосистема проектов — @eco_swc 📝Правила — https://telegra.ph/PRAVILA-10-13-199