#PROOF-ASSISTANT
Lista de los mejores canales de Telegram con la etiqueta #PROOF-ASSISTANT.
Datos de TGList, octubre de 2026: 1 canales con la etiqueta #proof-assistant. Primero del ranking: apessimisticresearcher (2180 suscriptores). Suele aparecer junto a #lean, #formal-method, #mathematics.
apessimisticresearcher
General¡Nuestro mundo comienza con una base de datos y un método formal y termina en el vacío!
2k