Coq

Coq

Coq est un assistant de preuve, qui vous permet d'écrire des preuves mathématiques de manière rigoureuse et formelle, et de les faire vérifier par l'ordinateur.
Coq est un assistant de preuve, qui vous permet d'écrire des preuves mathématiques de manière rigoureuse et formelle, et de les faire vérifier par l'ordinateur.Il permet également la programmation avec des preuves de correction pour le code et les types dépendants.
coq

Site Internet:

Les catégories

Alternatives à Coq pour toutes les plateformes avec licence open source