در این درس دارای دو بخش؛ نظری شامل اموزش حساب لامبدا و نظریه انواع است و عملی شامل اموزش اثباتیار Coq است.
Iscritti
34
Visualizzazioni medie
2
Tasso di coinvolgimento
5.9%
CPM (stim.)
—
Creatività viste
—
Età del canale: 527 giorni
Qualità del pubblico
Sembra affidabileTasso di visualizzazione: 5.9%
- Copertura e coinvolgimento sono nella norma per queste dimensioni
Una stima da metriche pubbliche — non abbiamo accesso admin alle analitiche native di Telegram, quindi è un segnale, non un verdetto.
Stiamo costruendo lo storico
Non abbiamo ancora abbastanza snapshot giornalieri per il grafico. Lo snapshot corrente è mostrato sopra; il grafico apparirà non appena avremo almeno due punti.
Esplora
Aggiornato: 2026-07-16