Programmes par coqtail.sf.net

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