Interactive Theorem Proving and Program Development
Coq'Art: The Calculus of Inductive Constructions
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
352.29
zł
A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...
