Skip to main content
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Повний
Британська англійська
Американська англійська
Мандарин китайський
Блог
toIPA
додому
Текст на IPA
Промова до IPA
Пошук слова за IPA
IPA Читач
Beta
Діаграми IPA
Повний
Британська англійська
Американська англійська
Мандарин китайський
Блог
🇺🇦 Українська
🇺🇸 English
🇨🇳 中文
🇯🇵 日本語
🇩🇪 Deutsch
🇫🇷 Français
🇪🇸 Español
🇮🇳 हिन्दी
🇸🇦 العربية
🇧🇩 বাংলা
🇵🇹 Português
🇮🇩 Bahasa Indonesia
🇵🇰 اردو
🇷🇺 Русский
🇻🇳 Tiếng Việt
🇹🇷 Türkçe
🇰🇷 한국어
🇮🇹 Italiano
🇳🇴 Norsk bokmål
🇳🇱 Nederlands
🇵🇱 Polski
🇸🇪 Svenska
🇬🇷 Ελληνικά
🇮🇱 עברית
🇮🇷 فارسی
🇹🇭 ไทย
🇺🇦 Українська
🇨🇿 Čeština
🇧🇾 Беларуская
додому
CARINE
CARINE
theorem prover, a mathematical concept
en-US
/kɑˈɹini/
Категорії:
proof assistant