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