Здравейте, колеги,
Заповязайте в канаавате всякакви въпроси, свързани с курса, с λ-смятането и теорията на доказателствата #λстд-2019-20 в Discord, в който може да задавате всякакви въпроси, свързани с курса, с λ-смятането и теорията на доказателствата.
Поздрави,
Т. Трифонов