Mettre en vente
Se connecter
Aide
2 résultats
Interactive Theorem Proving And Program Development
Voir le produit
Vendez le vôtre
Interactive Theorem Proving And Program Development: Coq'art: The Calculus Of Inductive Constructions