Категорія:Мови програмування з залежними типами Сторінки в категорії «Мови програмування з залежними типами» Показано 3 сторінки цієї категорії (із 3). A AgdaC CoqL Lean