Coqtail

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎2 ‎Votes

Sur Coqtail

COQ Theorems, Abstractions and Implementations (bachelor Level) Coqtail est une bibliothèque de preuves mathématiques utilisant l’assistant de preuve Coq.