461−14
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Similar channels
32952−343
Grup Diskusi & Sharing Kumpulan Latihan Soal Test CPNS, PPPK dan Sekolah Kedinasan Terlengkap Link Channel: https://t.me/soalcpnsdanberitanya
14942+145
Чат со свободным доступом. - наш канал о ЖК @odintsovo1 - канал о приемке квартир @odintsovo1_priemka - вопросы и пожелания (+домовые чаты) @o1_superbot - группа ВК vk.com/odinsovo1 - объявления @o1_board
52320+366
PC GAMES CHANNEL ➧https://t.me/pc_game_down --------- PC GAMES LIST ➧https://t.me/pcgameslist ---------
30248+172
Реклама 👉 @Berkat_manager_bot Каналы: 👉 @berkat общий 👉 @berkat_biznes бизнес 👉 @berkat_lady женское детское 👉 @berkat_selo сельское хоз 👉 @berkat_mobi телефоны 👉 @berkat_avto авто 👉 @berkat_dom недвиж 👉 @berkat_mebel мебель
20556+1111
Подробности и правила чата: https://t.me/station_yandex/1022983 Дружелюбный чат пользователей умных устройств Яндекса и Умного дома Яндекса 🤗
26635+763
منتدى البرامج والتطبيقات التعليمية برامج الأيباد والأندرويد وبرامج لأجهزة الكمبيوتر الوندوز والماك منذ ٢٠١٦م صحيفة معلم نت🇰🇼
30811+763
🦷 Книги по стоматологии (freе)📓 - самый крупнейший топчат в телеграмм для помощи в развитии знаний стоматологов и зубных техников🔥. ℹ️Более 3.5тысяч книг и 3.5тысяч бесплатных вебинаров🆓️. 🛒Наш бот для покупки рекламы🤖 - ➡️ @dentist_book_bot ⬅️