Skip to main content
Accueil
Texte en IPA
Parole en IPA
IPA vers mot
Lecteur API
Beta
Tableaux IPA
Anglais britannique
Anglais américain
Chinois mandarin
Tableaux IPA
A–Z
Blog
toIPA
Accueil
Texte en IPA
Parole en IPA
IPA vers mot
Lecteur API
Beta
Tableaux IPA
Complet
Anglais britannique
Anglais américain
Chinois mandarin
Tableaux IPA
A–Z
Blog
🇫🇷 Français
🇺🇸 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
🇧🇾 Беларуская
Accueil
CARINE
CARINE
theorem prover, a mathematical concept
en-US
/kɑˈɹini/
Catégories :
proof assistant