קָּא הוא מספק שפה רשמית כדי לכתוב הגדרות מתמטיות.
הורד עכשיו

קָּא דירוג וסיכום

קָּא תגים

הוכחה חֶשְׁבּוֹן ספריית אריתמטית מִשׁפָּט

קָּא תיאור

קוק הוא מערכת ניהול הוכחה רשמית. הוא מספק שפה רשמית כדי לכתוב הגדרות מתמטיות, אלגוריתמים הפעלה ותפוזים יחד עם סביבה עבור פיתוח אינטראקטיבי למחצה של הוכחות שנבדקו מכונה. יישומים אופייניים כוללים את הפורמליזציה של שפות תכנות סמנטיקה, פורמליזציה של מתמטיקה והוראה. שתף את החוויה שלך: כתוב סקירה על תוכנית זו

קָּא תוכנה קשורה