Coq

Coq

Coq هو مساعد إثبات ، والذي يسمح لك بكتابة بروفات رياضية بطريقة صارمة ورسمية ، وتأكد من صحتها بواسطة الكمبيوتر.
Coq هو مساعد إثبات ، والذي يسمح لك بكتابة بروفات رياضية بطريقة صارمة ورسمية ، وتأكد من صحتها بواسطة الكمبيوتر.كما يسمح البرمجة مع البراهين من صحة رمز ، وأنواع التابعة.

موقع الكتروني:

التصنيفات

بدائل Coq لجميع المنصات مع رخصة مفتوحة المصدر