Комьюнити Binance
React — русскоговорящее с...
Android Developers
Python
Vue.js — русскоговорящее ...
supapro.cxx
DotNetRuChat
GNU/Linux Help
Telegram Developers
Node.js — русскоговорящее...
DevOps — русскоговорящее ...
JavaScript Noobs — сообще...
![Django [ru]](https://image.telq.org/channel_avatar_1063854692_12437233608009742_mini.jpeg){kind=avatar}
Django [ru]
Go-go!
Angular - русскоговорящее...
ntwrk
Верстка сайтов HTML/CSS/J...
phpGeeks
Где взять займ?
Kubernetes — русскоговоря...
Битрикс для разработчиков
MODX. Русскоязычное сообщ...
pgsql – PostgreSQL
Laravel Pro
iOS Developers — русского...
ClickHouse не тормозит
Rust — русскоговорящее со...
Binance English
JavaScript — русскоговоря...
С#
pro.cxx
pro.jvm
macOS
React Native — русскогово...
WazirX Discuss
Devs Chat
Baby Doge Coin
Docker — русскоговорящее ...
HTML/CSS — русскоговоряще...
JavaScript
Python beginners
🐧 RU.UBUNTU — Официальное...
Kotlin Community
Joomla по-русски
Crypto.com
PancakeSwap
HTX English
Embedded Group
Linux
HEX.COM
Чат экстремального погром...
Финдозор чат
БалиЧат | Балифорум
Qt
aiogram
symfony
Scala User Group
Haskell
![[RU] Gentoo GNU/Linux](https://image.telq.org/channel_avatar_1105771831_5278686481378035891_mini.jpeg){kind=avatar}
[RU] Gentoo GNU/Linux
PHP
TypeScript
Клуб Vue.js-разработчиков
Ecomi
MultiversX - Community
Ansible
Unity Engine: вопрос - от...
Terra Classic - $LUNC
Xamarin Developers (MAUI,...
F# Chat
![Svelte [svelt] - All abou...](https://image.telq.org/channel_avatar_1142273288_5399907573915831550_mini.jpeg){kind=avatar}
Svelte [svelt] - All abou...
Чат AppleInsider.ru
Alien Worlds - Official
Системное администрирован...
Moonbeam & Moonriver Offi...
Nuxt.js | Vue SSR
nginx_ru
Gate.io International (En...
Боты на Telegraf
Абхазия. Чат TravelAsk
Kadena Official Telegram
var chat = new Chat();
Data Science Chat
MOBOX
COTI - Currency of the In...
Ассемблер
Android Architecture
FTX - Built By Traders, F...
Solana
Frax Finance
Laravel для начинающих
C / C++
Церковь метрик
Dart & Flutter
QA — русскоговорящее сооб...
DBA - русскоговорящее соо...
Nexo Community
Oasis Network Community
Tarantool
Sonic Marines
Unreal Engine
☁️ AWS_RU
pro.elixir
WAGMI: Chainlink Communit...
Увожу кроликов
Velas Community
Kava Official
Casper
Python Flask
Blender_ru: вопрос-ответ.
Relogame - Serbia. Чат о ...
TRON OFFICIAL MAIN GROUP
![[Official] The Sandbox](https://image.telq.org/channel_avatar_1281420755_2862693542595241897_mini.jpeg){kind=avatar}
[Official] The Sandbox
ОАЭ 🇦🇪 Чат TravelAsk
PostgreSQL + 1C + Linux
Тбилиси 🇬🇪 Чат TravelAsk
Nexera
Ереван 🇦🇲 Чат TravelAsk
Ergo Platform
Polygon Official Communit...
Python
Telos Community
SAP ABAP
Celsius Community
Monero XMR
Trust Wallet English
Curve Finance
Axie Infinity (RU)
Telegram Bot Talk
Star Atlas - Real Officia...
BitTorrent BTT
Ethereum Ru
R (язык программирования)
MongoDB Russian
2022 Relocation / Турция ...
PHP
Визы, выезд, вояжи в усло...
Батуми 🇬🇪 Чат TravelAsk
Куба 🇨🇺 Чат TravelAsk
Cosmos Network ~ $ATOM
Дагестан. Чат TravelAsk
Yandex Cloud - Официальны...
Reef Global Community
Raydium Protocol
Китай 🇨🇳 Чат TravelAsk
Азербайджан 🇦🇿 Чат Travel...
Java
2023 Relocation / Армения...
My Neighbor Alice: NFT + ...
Boba Network Official
IoTeX Official Group
Git
Litecoin
Venus Protocol
Zbrush RU
Казахстан 🇰🇿 Чат TravelAs...
Energy Web
Constellation Network
learn.java
Power BI Group RU
LGCY Network
Нейронные сети (AI Commun...
DeFiChain - International
DevsHelper
Anchor Protocol
Big Data Science :: AI / ...
pro.kafka
3ds Max
HARD TALK. CG Железо Комп...
Шарм-Эль-Шейх🇪🇬 Чат Trave...
Android
Релокация в Казахстан
Pirate Chain Official (NO...
1C
Orion Community
iHack - Hackintosh | macO...
Ocean Protocol 🌊
Delphi & Lazarus
SwiftBook
Bitcoin Cash (BCH)
SEO chat true Original 10...
Ripple - XRP
Injective
Rust Beginners
Solidity Development
Binance NFTs
Италия 🇮🇹 Чат TravelAsk
Виза D Испания
Illuvium Official Chat
Waves.Exchange English gr...
Mdex English
Celer Network - English
Ultra Discussions
SingularityNET Community
Zilliqa Official Chat
В Грузии с животными 🐾
Chiliz/Socios.com ($CHZ) ...
Банки Грузии для граждан ...
Algorand
Вокруг да около Zigbee
Avalanche (AVAX) - Offici...
Дубай 🇦🇪 Чат TravelAsk
Бали 🇮🇩 Чат TravelAsk
Android Declarative
Канада как надо - CANADAK...
Nervos Network
Evolution CMS официальное...
Helium
Mina Protocol
Кыргызстан 🇰🇬 Чат TravelA...
pro.net (former COM+)
EOS
DevOps
Грудное вскармливание: по...
Amp Community
Мальдивы 🇲🇻 Чат TravelAsk
FUNToken Ecosystem Chat
Binance Kazakhstan 🇰🇿
OpenStreetMap RU
Visual Studio Code — русс...
freebsd_ru
🍃RU.MINT — Официальное ру...
Synternet
Swipe
Грузинский трип 🖤
Fetch.ai
Израиль 🇮🇱 Чат TravelAsk
Atlassian Community - Rus...
VechainOfficial - VET & V...
Молдова 🇲🇩 Чат TravelAsk
Waves Official 🌊
NestJS — русскоязычное со...
![1inch Network [EN]](https://image.telq.org/channel_avatar_1476277235_6217731104408976704_mini.jpeg){kind=avatar}
1inch Network [EN]
Design
Казахстан — обмен денег, ...
ru_mysql
Winitpro.ru - чат сисадми...
Reserve Protocol
Sentinel dVPN - Contribut...
pro.lua
Dart / Flutter
BakerySwap
Bancor Protocol
Alchemy Pay Official
🇻🇳 Вьетнам чат
Грыжа, протрузия и друзья...
Казахстан — релокация, ВН...
Origin Protocol
Армения — релокация, ВНЖ,...
Axie Infinity
Waves.Exchange Ру группа
Celo - Official
GraphQL — русскоговорящее...
Чат про Fusion 360 и 3D
Dypius
Neutrino Protocol - Offic...
Hedera Community Chat ($H...
Литва 🇱🇹 Чат TravelAsk
Bonfida
Substance Painter & Desig...
🇦🇺 Австралия чат
Ellipsis Finance Communit...
Вьетнам 🇻🇳 Чат TravelAsk
WOO Community
Переезд в Армению | Взаим...
C#
Everscale RU Community
Испания 🇪🇸 Чат TravelAsk
OctoberCMS
Битрикс 24 для разработчи...
Монголия 🇲🇳 Чат TravelAsk
Хургада 🇪🇬 Чат TravelAsk
pro.graphon (and gamedev)
Telethon Chat
Kyber Network Official
The Codeby
Yield Guild Games Officia...
Доброе место РМЖ
Akash Network
Go
Германия 🇩🇪 Чат TravelAsk
pro.Asm
ru_gitlab
Neo Smart Economy (Offici...
Astar (prev Plasm) & Shid...
IDE и редакторы — русског...
OpenCartForum - 🇺🇦🇪🇺Чат O...
XDB Chain Superchannel (t...
Chainlink Official
Angular.js (1.x) — русско...
Zcash Community 🛡ᙇ
Канада IT
BNB Chain Community
Frontend_ru
Cardano Official
Канада 🇨🇦 Чат TravelAsk
IDEX Official Community C...
Lame C
МАМЫ И ПАПЫ В ЕРЕВАНЕ 🇦🇲 ...
NEAR Protocol Official
Prom Chat
Linear Exchange Community
TokoToken (TKO) Discussio...
Flutter Developers — русс...
Phala Network Official - ...
Чат про ноотропы и высоки...
Египет 🇪🇬 Чат TravelAsk
Кипр 🇨🇾 Чат TravelAsk
Godot Engine (Russian)
AutoIT RU
Lido
AI / Искусственный Интелл...
Чат Русские Эмираты
Турция с питомцем (собака...
BitDAO
SwissBorg
Армения с питомцем (собак...
dlang.ru
Ontology English
Cartesi Official Communit...
LUKSO Blockchain | LYX
Syscoin Official
Conflux English
Pundi X Official | Englis...
Банки, счета и переводы в...
ОАЭ с питомцем (собака, к...
MySQL
Аргентина 🇦🇷 Чат TravelAs...
Тбилиси — обмен денег, ка...
Хакинтош на русском
Persistence One Community...
SunPump Official Communit...
2022 Relocation / Черного...
🇵🇭 ФИЛИППИНЫ | чат - фору...
Cyprus_iT chat
TRON DAO Russia
DENT/DENTX - OFFICIAL
🐕 $ASS: Australian Safe S...
Mirror Protocol
Yii Framework 2
Laravel Framework Russian...
PPC chat 🏠👨🏻💻
WebPwnChat
Chia Network RU (unoffici...
WINkLink Official
Pro Windows
Латвия 🇱🇻 Чат TravelAsk
Чат — Верстка Сайтов и Фр...
pro.python
Ravencoin
Индия 🇮🇳 Чат TravelAsk
Telegram Info Чат
Java Underground
Market - Decentraland
Анталья чат
IoT / Electronics
Яндекс Метрика
Беларусь 🇧🇾 Чат TravelAsk
Path of Exile | СНГ PoE
DigiByte Discussion
Мексика 🇲🇽 Чат TravelAsk
Holo
Data Engineers
Flow CIS Community
SKALE
Черногория с питомцем (со...
Хакинтош | Hackintosh by ...
Natural Language Processi...
🇨🇳 Китай чат | КНР
BSV Enterprise Utility Bl...
Excel Chat
Ankr Community
javascript_ru
Грузия 🇬🇪 Чат TravelAsk
Чат Tableau
Electroneum
Quant Community Channel
SqlCom.ru - сообщество MS...
The Graph Official Commun...
Cinema 4D
iExec RLC Official Discus...
Венесуэла 🇻🇪 Чат TravelAs...
Everscale Community
Южная Корея 🇰🇷 Чат Travel...
Unibright Official Commun...
Telcoin Community
Game Development
2022 Relocation / Португа...
Delphi Community
pro.vim
yearn.finance (YFI)
Shiba Inu: The Dogecoin K...
Малайзия 🇲🇾 Чат TravelAsk
Алматы 🇰🇿 Чат TravelAsk
Server Side Swift Develop...
Таиланд 🇹🇭 Чат TravelAsk
Болгария 🇧🇬 Чат TravelAsk
Power Query ru
Ситуация на границе с Гру...
Tezos
2022 Relocation / Грузия ...
Nano (XNO) Official Engli...
Экспаты - Work in Estonia...
SQLAlchemy
Autohotkey_RU ( v1 & v2 )
Band Protocol
Крым. Чат TravelAsk
secinfosec
Инсулиновая помпа. Вопрос...
PHP DevConf KZ🇰🇿
IOST Community
Coin98 Super Wallet - Cha...
CoinEx - Making Crypto Tr...
Краснодарский край. Чат T...
Databases
Турция 🇹🇷 Чат TravelAsk
Польша 🇵🇱 Чат TravelAsk
Viction Community Chat
PolkadotRu
Metal DAO | $MTL
Шри-Ланка форум
Венгрия 🇭🇺 Чат TravelAsk
ICON Project (Official - ...
Flow Community [unofficia...
Axie Infinity King Kits К...
Modern::Perl
BTCST Community
pro.rb (Ruby/Rails / RU)
RubyRush.ru
🇲🇻 МАЛЬДИВЫ | чат - форум
Verge Currency
Греция 🇬🇷 Чат TravelAsk
Evolution CMS
NKN Official
Яндекс Диалоги (сообществ...
🇩🇪 Германия чат
Dogecoin
Hive.io
Aave Fam | NOT Airdroppin...
Сочи. Чат TravelAsk
Dash
Oracle RU
ru.nim.talks
DevOps
Audius Official 🎧
Иран 🇮🇷 Чат TravelAsk
Odoo talks & fun
🇦🇷 Аргентина чат
Software Design/Architect...
ASO приветы
DeChat — TON, Ethereum & ...
Puzzle Network
sql_ninja
🇲🇾 Малайзия чат
Сдаём IELTS
Agile, Scrum, Lean, Kanba...
werf (чат)
2022 Relocation / Азербай...
Азербайджан — обмен денег...
AndroidDev Pro:: Професси...
WordPress for developers
dbGeeks
Португалия с питомцем (со...
Automata Network
Welcome to KZ (IT Hub)
PowerShellRus - о Powersh...
Haskell Start
Эльбрусы и с чем их едят
Java/Kotlin and more
🇮🇷 Иран чат
Албания 🇦🇱 Чат TravelAsk
🇱🇻 Латвия чат
Ситуация на границе с Каз...
pro.buildsystems
TitanSwap
React: русскоязычное сооб...
Machine Learning
Бишкек 🇰🇬 Чат TravelAsk
Powershell Rus
🇧🇷 Бразилия чат
2022 Relocation / Испания...
Loopring English Communit...
Project Serum
Норвегия 🇳🇴 Чат TravelAsk
🇬🇪 ГРУЗИЯ | Тбилиси Батум...
Ceph — русскоговорящее со...
Basic Attention Token
Perpetual Protocol
Узбекистан 🇺🇿 Чат TravelA...
Астана 🇰🇿 Чат TravelAsk
Stella XYZ
Бразилия 🇧🇷 Чат TravelAsk
Polymath
Австралия 🇦🇺 Чат TravelAs...
🇸🇬 Сингапур чат
Рассеянный склероз | чат ...
PowerDAO Protocol ✊⚡️
Абу-Даби 🇦🇪 Чат TravelAsk
ErlangRus
Python для анализа данных
🇨🇾 Кипр чат
Распознавание и синтез ре...
Скрипты Гугл, Таблицы, Go...
Ziraat Bank Стамбул | Тур...
Кутаиси 🇬🇪 Чат TravelAsk
User Acquisition Chat
IOTA Tech
opencv_ru
Россия 🇷🇺 Чат TravelAsk
WebGL ru
🇷🇸 Сербия чат
Великобритания 🇬🇧 Чат Tra...
Армения — обмен денег, ка...
Compiler Development
PEAKDEFI Official
Indie App Store RU
OpenStack — русскоговорящ...
aelf (ELF) Community
Сербия 🇷🇸 Чат TravelAsk
Минск 🇧🇾 Чат TravelAsk
firebase_ru — русскоговор...
Япония 🇯🇵 Чат TravelAsk
🇦🇱 Албания чат
Гонконг 🇭🇰 Чат TravelAsk
гайд | чат
ОАЭ — обмен денег, карты,...
Electron.js
phpclub.ru
Mask Network
Узбекистан — иностранцы
Репатриация в Израиль 🇮🇱 ...
🇨🇺 Куба форум
Webpack — русскоговорящее...
Bake EN (official)
Австрия 🇦🇹 Чат TravelAsk
Португалия 🇵🇹 Чат TravelA...
Черногория 🇲🇪 Чат TravelA...
Yodo - бот учитель. Yodo....
Шри-Ланка 🇱🇰 Чат TravelAs...
embedded.rs Въевшаяся Ржа...
Distributed: invest
🇰🇷 Корея чат
🇦🇲 Армения чат
Decred (DCR)
Иордания чат | Амман
Yii Framework 3
Марокко 🇲🇦 Чат TravelAsk
Relogame - Montenegro
RU.CRYPTOGRAPHY — Криптог...
Армения 🇦🇲 Чат TravelAsk
pro.osdev - os developmen...
🇨🇱 Чили чат
MySQL
🇨🇦 КАНАДА | чат - форум
LibreOfficeRU
Threshold ✜ Network Chat
Ethereum Classic ETC
Технические писатели
Это RabbitMQ
Гоа 🇮🇳 Чат TravelAsk
ОАЭ — Айфон, iPhone. Чат ...
Bifrost & BiFi Global 🌏
🇲🇲 Мьянма чат
Катар 🇶🇦 Чат TravelAsk
2022 Relocation / Италия ...
Lame C++
🇸🇦 Саудовская Аравия чат
Семья и дети в ОАЭ
QA juniors
GameDev for Web
🇶🇦 Катар чат
🇯🇵 Япония чат
Ren
Waves Community (Ru) 🌊
Orchid Official Community
🇮🇹 Италия чат
RUSCADASEC community: Киб...
🇿🇦 ЮАР | чат - форум
Science FYI
ru_hashicorp
🇨🇷 Коста-Рика чат
Шарджа 🇦🇪 Чат TravelAsk
Калининград. Чат TravelAs...
Elasticsearch
🇵🇪 Перу чат
Go Get A Job
🇬🇷 Греция чат
pro.algorithms
🇲🇹 Мальта чат
(sci)Berloga Bioinformati...
Rust
PostgreSQL (English)
🇨🇵 Франция чат
Convex Finance - Chat
eCash ( XEC ) English
Про парсинг
Пятигорск, Кисловодск, Ес...
🇧🇭 Бахрейн чат | Манама
Хайфа 🇮🇱 Чат TravelAsk
Бездельники в Дубае
PlayDapp Official Communi...
🇱🇹 Литва чат
Data Science
Румыния 🇷🇴 Чат TravelAsk
Ember_js
Tilda Developers
Как стать программистом
Ирландия 🇮🇪 Чат TravelAsk
OpenCart Вопросы/Ответы
RU.Docker — Официальное Р...
2022 Relocation / Кипр 🇨🇾
🇹🇭 Таиланд форум
2022 Relocation / ОАЭ (Ду...
Emacs — русскоговорящее с...
Нячанг 🇻🇳 Чат TravelAsk
🇲🇩 МОЛДОВА | чат - форум ...
🇮🇳 Индия форум
ProductCamp Russia (&EE)
Solana RUS
catboost_ru
Stellar Lumens XLM/STR
Tsunami.Exchange Chat 🌊
Финляндия 🇫🇮 Чат TravelAs...
Bitcoin Diamond
🇪🇨 Эквадор чат
🇦🇿 Азербайджан чат
🇨🇴 Колумбия чат
FreePascal & Lazarus
Грузия — релокация, ВНЖ, ...
Сейшелы 🇸🇨 Чат TravelAsk
🇰🇭 Камбоджа чат
Язык программирования Jul...
WordPress – русскоговорящ...
Anesthesiology & Reanimat...
Каир 🇪🇬 Чат TravelAsk
Аргентина — релокация, ВН...
США 🇺🇸 Чат TravelAsk
ОБ 🌐 Турция
Образование в Испании 🇪🇸 ...
🇧🇬 Болгария чат
Камбоджа 🇰🇭 Чат TravelAsk
Kaggle
Django
sentry_ru
![bt[c]hat - крипто чат #1](https://image.telq.org/channel_avatar_1128684367_7496384835071933_mini.jpeg){kind=avatar}
bt[c]hat - крипто чат #1
Чат предпринимателей
Нью-Дели 🇮🇳 Чат TravelAsk
🇮🇸 Исландия чат
ReasonML и OCaml
Grafana Loki
Startup Community
Северная МАКЕДОНИЯ
🇺🇲 США чат | Америка
Terra Luna classic
🇰🇼 Кувейт чат
StormX Official Channel
Франция 🇫🇷 Чат TravelAsk
Релокейти 🌏 Чат о релокац...
🇪🇸 Испания чат
Алтай. Чат TravelAsk
ru_nexus_sonatype
Aragon 🦅
Поступаем в Италию 🇮🇹
🇧🇦 Босния и Герцеговина ч...
Филиппины 🇵🇭 Чат TravelAs...
Relogame Armenia
Никарагуа чат | Манагуа
VictoriaMetrics_ru
Ruby, Rails, Hanami | dry...
THE SYNAPSUS | NEUROLOGY
🇸🇰 Словакия чат
Маврикий 🇲🇺 Чат TravelAsk
Байкал. Чат TravelAsk
ОАЭ — релокация, ВНЖ, пер...
Stratis Platform
Эстония 🇪🇪 Чат TravelAsk
Италия — обмен денег, кар...
.NET Group
ОБ 🌐 Кыргызстан
гайд ✈️ из якутии
WebAssembly — русскоговор...
Нидерланды 🇳🇱 Чат TravelA...
Dart / Flutter
Filecoin
Азербайджан — релокация, ...
🇮🇱 Израиль чат
Autonomi
Ситуация на границе с Арм...
Google Cloud Platform_ru
Bitcoin Gold Official - G...
Санкт-Петербург. Чат Trav...
🇰🇪 Кения чат
🇳🇵Непал чат
ansible — русскоговорящее...
Dawn Protocol [FirstBlood...
Путеводитель Грузия
Юридические лица / ИП / О...
Бухарест чат
Армения
⛑Доктор Фил | 🚬СОВЕТОЧНАЯ
🇸🇮 Словения чат
Уральск 🇰🇿 Чат TravelAsk
SMM в России
🇧🇪 Бельгия чат
🇺🇿 Узбекистан чат
🇲🇪 Черногория чат
Египет — обмен денег, кар...
PBN Heroes Chat
Казань. Чат TravelAsk
🇲🇽 Мексика чат
Symbolic logic for math a...
🇳🇱 Нидерланды чат
Сrystal Lang — русскогово...
SAP BW/BI Community
THE SYNAPSUS Cardiology E...
Северный Кипр. Чат Travel...
Перу 🇵🇪 Чат TravelAsk
Cordova / Capacitorjs - р...
🇪🇬 Египет чат
🇬🇧 Англия чат
Терапии чат / Therapy / I...
Кения 🇰🇪 Чат TravelAsk
Польша. IT. Эмиграция
гайд ✈️ Беларусь
🇳🇿 Новая Зеландия чат
Вакцинация от Covid-19 | ...
🇰🇿 Казахстан чат
2022 Relocation / Азербай...
ЮАР 🇿🇦 Чат TravelAsk
🇹🇯 Таджикистан чат
🇵🇹 Португалия чат
aiohttp
🇬🇪Грузия
Волгоград. Чат TravelAsk
ITChat
ru_teleport
Вьетнам — визовые вопросы...
Москва. Чат TravelAsk
🇰🇬 Кыргызстан чат
ОБ 🌐 Москва и МО
Таджикистан 🇹🇯 Чат Travel...
🇲🇦 Марокко чат
🇹🇼 Тайвань чат
Швеция чат
Foundry Modo
Whitecoin| Official Teleg...
ОБ 🌐 Узбекистан
Нижний Новгород. Чат Trav...
NEM Official (Symbol & NI...
KOK Chain K Stadium Offic...
Шымкент 🇰🇿 Чат TravelAsk
RU_physchem
ThinkCog
Go with the Flow
Clojure — русскоговорящее...
🇮🇶 Ирак чат | Багдад
Исландия 🇮🇸 Чат TravelAsk
Тель-Авив 🇮🇱 Чат TravelAs...
🇲🇺 Маврикий чат
Екатеринбург. Чат TravelA...
релокация из сибири
Индонезия 🇮🇩 Чат TravelAs...
Актобе 🇰🇿 Чат TravelAsk
БалиЧат Мото | Балифорум
🇮🇪 Ирландия чат
Кипр с питомцем (собака, ...
Добровольцы-испытатели ва...
🇧🇻 НОРВЕГИЯ | чат - форум...
🇦🇪 ОАЭ чат
ОБ 🌐 Армения
🇭🇰 Гонконг чат
heroku_ru
Образование для детей в О...
Помогите купить - ОАЭ 🇦🇪 ...
PowerShell Pro
Иордания 🇯🇴 Чат TravelAsk
Ardor Community
SMMщики (чат)
Костанай 🇰🇿 Чат TravelAsk
🇧🇾 Беларусь форум
Welcome to the Aave unoff...
Ситуация на границе с Пол...
Веб-Технологи: UI/UX, Вёр...
Мьянма 🇲🇲 Чат TravelAsk
Берлин 🇩🇪 Чат TravelAsk
🇵🇱 Польша форум
macOS Developers — русско...
DL in NLP discussion grou...
Сингапур 🇸🇬 Чат TravelAsk
Теория категорий
Waves / RIDE dev chat RU
Панама 🇵🇦 Чат TravelAsk
Мальта 🇲🇹 Чат TravelAsk
🇭🇷 Хорватия чат
2022 Relocation / Греция ...
Nano by nano
UI/UX — русскоговорящее с...
NEAR Protocol Official
PLUTO 🟠 (we don’t DM firs...
🇹🇿 Занзибар форум
systemd
Russian IT in Dubai
Мумбаи 🇮🇳 Чат TravelAsk
релокация из крыма
КНДР чат | Северная Корея
Аланья чат
релокация из Хабаровска
Визы D в Португалию 🇵🇹 Ча...
Саудовская Аравия 🇸🇦 Чат ...
Танзания 🇹🇿 Чат TravelAsk
Павлодар 🇰🇿 Чат TravelAsk
🇭🇺 Венгрия чат
SafeMoon
Непал 🇳🇵 Чат TravelAsk
use Perl or die;
🇪🇪 Эстония чат
Словакия 🇸🇰 Чат TravelAsk
FORTH и родственные ЯП
SAP Basis
Релокация из Башкортостан...
Швеция 🇸🇪 Чат TravelAsk
Natural Language Processi...
Functional Programming
Зондовая микроскопия в Ро...
Роды в Аргентине 🇦🇷 Чат T...
🇦🇹 Австрия чат
🇨🇿 Чехия чат
Швейцария 🇨🇭 Чат TravelAs...
Тунис 🇹🇳 Чат TravelAsk
ru_jenkins
гайд ✈️ из приморья
Чехия 🇨🇿 Чат TravelAsk
💰 Деньги! Релокация 2022
Покупка авто — ОАЭ, Дубай...
RU_Biology
Pro Telecom
OpenTelemetry
Отзывы об отелях Египта
🇻🇪 Венесуэла
🇲🇳 Монголия чат
DevSecOps - русскоговорящ...
Абхазия — обмен денег, ка...
Yii Framework 1.1
Gene therapy
Индия — визы, оплаты, тра...
🇩🇴 Доминикана чат
CatBoost
ОАЭ чат
🇨🇭 Швейцария чат
CyberBiology
Sequelize - community (en...
Франкфурт на Майне 🇩🇪 Чат...
Хошимин 🇻🇳 Чат TravelAsk
Португалия — ВНЖ, граждан...
Moxy – MVP библиотека под...
гайд ✈️ студентам
Дюссельдорф 🇩🇪 Чат Travel...
Польша — визы, ВНЖ, легал...
Theta Network
Хорватия 🇭🇷 Чат TravelAsk
🇯🇲 Ямайка чат
Мадагаскар 🇲🇬 Чат TravelA...
ScyllaDB
Доминикана 🇩🇴 Чат TravelA...
Гималаи 🇮🇳 Чат TravelAsk
Медицинский туризм в Изра...
Криптофлудилка
гайд ✈️ молдова
Лаос 🇱🇦 Чат TravelAsk
🇩🇿 Алжир чат
🇹🇳 Тунис чат
Бахрейн 🇧🇭 Чат TravelAsk
sonarqube_ru
Чат ✌🏻 Пушкова про образо...
Elm Lang сообщество разра...
релокация из астрахани
Ханой 🇻🇳 Чат TravelAsk
Horizen (formerly ZenCash...
ru_geology
Дхарамсала 🇮🇳 Чат TravelA...
Эйлат 🇮🇱 Чат TravelAsk
Тайвань 🇹🇼 Чат TravelAsk
Суздаль. Чат TravelAsk
SublimeText_RU
ForkLog Community Board
гайд ✈️ индия
Камчатка. Чат TravelAsk
![Netbeans [RU]](https://image.telq.org/channel_avatar_1102508152_467588515831589735_mini.jpeg){kind=avatar}
Netbeans [RU]
Мцхета 🇬🇪 Чат TravelAsk
NativeScript
гайд ✈️ из татарстана
Россия — обмен денег, кар...
Словения 🇸🇮 Чат TravelAsk
Лекторий АиР Коммунарка
гайд ✈️ из омска
TECH Interview
IT В МЕДИЦИНЕ
Релокация из Оренбурга
Гайд ✈️ Воронеж
Ришикеш 🇮🇳 Чат TravelAsk
WordPress CodeRun
Эквадор 🇪🇨 Чат TravelAsk
Колумбия 🇨🇴 Чат TravelAsk
Поступаем в Канаду 🇨🇦
гайд ✈️ египет
Чили 🇨🇱 Чат TravelAsk
🇷🇺 Россия форум
ReactiveX - русскоговорящ...
PureScript — русскоговоря...
Meteor.js - русскоговорящ...
Golem Network Discussion ...
Tbilisi & Batumi refugees
Намибия 🇳🇦 Чат TravelAsk
Kotlin
#Вайти
гайд ✈️ из ХМАО
релокация из нижнего новг...
EOS dev
Эликсир и Вунш
Ruby Talks
гайд ✈️ из волгограда
релокация из чувашии
Дания 🇩🇰 Чат TravelAsk
Новая Зеландия 🇳🇿 Чат Tra...
Atomic Design
Бельгия 🇧🇪 Чат TravelAsk
Лех 🇮🇳 Чат TravelAsk
Cassandra
Microsoft Developer Commu...
гайд ✈️ из липецка
Чат релокации людей с инв...
релокация из пермского кр...
Ярославль. Чат TravelAsk
Relogame - New Zealand
гайд ✈️ из татарстана
Сергиев Посад. Чат Travel...
Владимир. Чат TravelAsk
Алжир 🇩🇿 Чат TravelAsk
ACT
Proof Theory
THORChain Community
(F|R|FR)P - русскоговорящ...
.NET CIL Chat
гайд ✈️ из иваново
гайд ✈️ из бурятии
гайд ✈️кипр
Дайсон, Dyson в Италии 🇮🇹...
Отзывы об отелях ОАЭ
Белиз 🇧🇿 Чат TravelAsk
Лихтенштейн 🇱🇮 Чат Travel...
А есть ли сайт, какой-нибудь проект, в рамках которого собирают
коллекцию максимально подробных формализаций в языке логики предикатов тех или иных теорем? Помню, сюда скидывали такую формализацию теоремы Геделя
10 ответов
Есть где-то, но я не помню, где
Нашёл: https://www.isa-afp.org/
Теорем вне логики или речь идёт о формальных доказательствах метатеорем в логике?
Именно в логике предикатов? Обычно люди используют что-нибудь более выразительное.
HOL
Да, например HOL.
Нашёл: https://www.isa-afp.org/
И ещё https://behemoth.cl.cam.ac.uk/search/ в придачу чтобы искать по AFP и окрестностям.
AFP — это?
То, ссылку на что ты скинул — Archive of Formal Proofs.
Похожие вопросы
Обсуждают сегодня