/lcpt-2021-22

Програми и експерименти от занятията по λ-смятане и теория на доказателствата, 2021/22 г.

Primary LanguageSchemeMIT LicenseMIT

No issues in this repository yet.