canalestelegram.mx

#formalization en Telegram

2 canales de Telegram usan la tag #formalization, que suman 531 de suscriptores, con especial presencia de Educación, Aprendizaje. Abajo, el ranking de los más populares.

2canales
531suscriptores en total
2categorías
8tags relacionadas
Canal #1 con #formalization
FO
formal labs

446Educación#lean#mathematics#category-theory
Principales categorías en #formalization
Educación 1Aprendizaje 1
Tags relacionadas
#lean#mathematics#category-theory#dependent-types#lectures#programming#theory#group-theory
Todos los canales de #formalization
FO
formal labs

446General#lean#mathematics#category-theory
MA
математическая ссылка 🐱

los resultados no están tan lejanos

85General#mathematics#group-theory#formalization

Sobre la tag #formalization en Telegram

La tag #formalization reúne 2 canales y grupos de Telegram, con un alcance combinado de 531 de suscriptores. Los canales aparecen principalmente en Educación, Aprendizaje. Usa los filtros y el ranking por popularidad para encontrar las mejores comunidades de #formalization en español, o explora las tags relacionadas para descubrir temas parecidos.