در این درس دارای دو بخش؛ نظری شامل اموزش حساب لامبدا و نظریه انواع است و عملی شامل اموزش اثباتیار Coq است.
Subscribers
34
Avg views
2
Engagement rate
5.9%
CPM (est.)
—
Creatives seen
—
Channel age: 515 days
Audience quality
Looks reliableView rate: 5.9%
- Reach and engagement sit in a normal range for this size
An estimate from public metrics — we have no admin access to Telegram’s native analytics, so treat this as a signal, not a verdict.
Building history
We have not collected enough daily snapshots yet to plot a trend. The current snapshot is shown above; a chart will appear once we have at least two data points.
Explore
Last refreshed: 2026-07-04