#proof-assistant en Telegram

1 canales de Telegram usan la tag #proof-assistant, 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 #proof-assistant

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 #proof-assistant

Educación 1

Tags relacionadas

#lean #formal-method #mathematics #computer-science

Todos los canales de #proof-assistant

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 #proof-assistant en Telegram

La tag #proof-assistant 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 #proof-assistant en español, o explora las tags relacionadas para descubrir temas parecidos.