#formal-method en Telegram

1 canales de Telegram usan la tag #formal-method, que suman 2 mil de suscriptores, con especial presencia de Educación. Abajo, el ranking de los más populares.

1canales

2 milsuscriptores en total

1categorías

4tags relacionadas

Canal #1 con #formal-method

apessimisticresearcher

@apessimisticresearcher

¡Nuestro mundo comienza con una base de datos y un método formal y termina en el vacío!

2kEducación#lean #proof-assistant #formal-method

Principales categorías en #formal-method

Educación 1

Tags relacionadas

#lean #proof-assistant #mathematics #computer-science

Todos los canales de #formal-method

apessimisticresearcher

@apessimisticresearcher

¡Nuestro mundo comienza con una base de datos y un método formal y termina en el vacío!

2kGeneral#lean #proof-assistant #formal-method

Sobre la tag #formal-method en Telegram

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