Сторінки, що посилаються на «Coq»
← Coq
Такі сторінки посилаються на Coq
Показано 17 елементів.
- Objective Caml (← посилання | редагувати)
- Проблема чотирьох фарб (← посилання | редагувати)
- Система неперетинних множин (← посилання | редагувати)
- Хронологія мов програмування (← посилання | редагувати)
- Inria (← посилання | редагувати)
- Lean (← посилання | редагувати)
- Теорія типів (← посилання | редагувати)
- Список винаходів і відкриттів, здійснених жінками (← посилання | редагувати)
- Agda (← посилання | редагувати)
- Лямбда-куб (← посилання | редагувати)
- Автоматизоване міркування (← посилання | редагувати)
- Залежний тип (← посилання | редагувати)
- Узагальнений алгебричний тип даних (← посилання | редагувати)
- Числення конструкцій (← посилання | редагувати)
- Асистент доведення теорем (← посилання | редагувати)
- SPARK (мова програмування) (← посилання | редагувати)
- Користувач:PavloChemBot/Неперекладені сторінки/Математика/1 (← посилання | редагувати)