preguntar acerca de coq

je peux naïvement construire une hiérarchie des structures algébriques dans le Coq en utilisant des classes de type. J'ai du mal à trouver des ressources sur la syntaxe de Coq et la sémantique pour les classes de type. Cependant, je crois que ce qui …

comme il y a des langues complètes non-Turing là-bas, et étant donné que je n'ai pas étudié L'informatique à l'Université, quelqu'un pourrait-il expliquer quelque chose qu'un langage Turing-incomplet (comme Coq ) ne peut pas faire? ou l …