Зависимые типы в массы! (@dependent_types) — чат в Telegram: участники, статистика, сообщения

Описание

https://t.me/dependent_types Idris1 online REPL: tio.run/#idris Topics: dependent types, theorem proving, formal verification. Please refrain from using stickers/memes.

Обсуждение зависимых типов, доказательства теорем, формальной верификации и теории типов.

🔎 зависимые типы 🔎 dependent types 🔎 idris 🔎 теория типов 🔎 верификация

Живая группа: 35 человек писали за 30 дней, 89 % из них отвечали другим, на 49 % сообщений отвечают, растёт на 1,3 % в неделю.

👨‍💻 IT и программирование › Программирование🧩 Чат сообщества🔬 Математика Русский Группы Telegram

Подробная статистика →данные витрины на 28.10.2026 06:57 UTC

Типгруппа

ID1062361327

Участники682