461−14
Обсуждаем моделирование реального (или не очень) мира при помощи типов - зависимых или независимых (можно даже динамических, но только шёпотом).
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
STLC, MLTT, теория типов, теория доменов, теория категорий и даже онтология являются онтопиком.
Canales similares
46449−1720
الحمدللہ اس گروپ میں جنات، جادو، نظربد، خبیث، کرتوت، سفلی سحر، کالاجادو کھلایا ہوا پلایاہوا جادو۔ ان سب کا علاج قرآن و حدیث کی روشنی میں جنات کے ذریعے سے کیا جاتا ہے ۔ اس گروپ میں اپنے دوست احباب کو بھی شامل کرسکتے ہیں ☜ https://t.me/jinnatjaadokailaaj
23172−43
Biєηvєηidøs αł мєjør gruρø dє vєηŧαs dєł zułiα єη ŧєłєgrαм ρrøyєcŧαηdøηøs єη єł fuŧurø cøмø єł cЋαŧ мαs grαηdє dєł zułiα y dє Vєηєzuєłα dє vєηŧαs Fαvør łєєr łøs cøηsєjøs dєł gruρø Grupo Oficial y numero 1🎖 en el Zulia.
14960−374
Channel: @xiaomiui Forum: xiaomiui.net Photography: @xiaomiuishoton Tech Group: @techindeepgroup Turkish: @xiaomigruptr Russian: @xiaomiuirussiangroup Portuguese: @xiaomiuiportu German: @xiaomiuidegruppe Chinese: @xiaomigrupcn Italian: @xiaomiuiita
14927+7
Инфорподдержка бежавших из Украины в Германию. Нам помогает бот Ганс: @berlin_wiki_bot Инструкция тут: https://t.me/helpUkraine_Gemany/406912 Мы НЕ помогаем: - с жильем - с работой - c перевозками Правила чата https://t.me/helpUkraine_Gemany/247601
34172+807
Большая терочная для подписчиков и случайных читателей канала @montyan2. Разбан → @MontyanAppealBot Правила общения → @MontyanChatBot Обратная связь → @MontyanFeedbackBot
17708+5396
Постельный бельё Дастурхон Банный халат Подушка Полотенца Сарполар Адял манзил Наманган шахар Мерос 2- кават 14 йиллик тажрибага эга LICHKAGA SAVOLLARNI YOZING👇 @shirin_firdavs Махфуза +998999160660 gruppaga 👇bosing
15682+262
Ссылка на группу ИК https://t.me/+sbG3vCGOLngzMjhi 18+ Предложить новость через @ik_adm За маты бан. За оскорбления российских военнослужащих бан. Просьба сообщать о нарушениях @ik_adm За ссылки без разрешения БАН
21783−237
💬 Discuss, learn, and build with Chromia! Relational blockchain, home of AI, gaming, RWAs, and data. Build Brilliant.