Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 899
Kč
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
