#PROOF-ASSISTANT
टेग #PROOF-ASSISTANT वाले सर्वश्रेष्ठ टेलीग्राम चैनलों की सूची।
TGList डेटा, अक्टूबर 2026: #proof-assistant टैग वाले 1 चैनल। रैंकिंग में पहला: a pessimistic researcher (2,380 सब्सक्राइबर)। अक्सर इनके साथ: #lean, #formal-method, #mathematics।
a pessimistic researcher
सामान्यहमारी दुनिया डेटाबेस और औपचारिक पद्धति से शुरू होती है और शून्यता पर समाप्त होती है!
2k