#FORMAL-METHOD
List of the best Telegram channels tagged with #FORMAL-METHOD.
1Channels
2.4KCombined reach
100%Persian
The #formal-method 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 #formal-method frequently also cover #lean (100%), #proof-assistant (100%), #mathematics (100%).
General