#PROOF-ASSISTANT
List of the best Telegram channels tagged with #PROOF-ASSISTANT.
1Channels
2.4KCombined reach
100%Persian
The #proof-assistant tag brings together 1 Telegram channel with a combined audience of 2,380 subscribers. Content is primarily in Persian (100%). Channels are grouped under Education. Channels tagged #proof-assistant frequently also cover #lean (100%), #formal-method (100%), #mathematics (100%).
General