#PROOF-ASSISTANT

Lista dos melhores canais do Telegram com a tag #PROOF-ASSISTANT.

Dados do TGList, outubro de 2026: 1 canais com a tag #proof-assistant. Primeiro do ranking: a pessimistic researcher (2.380 inscritos). Costuma aparecer junto com #lean, #formal-method, #mathematics.