Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag coq - Ceci est la page 29 - GeneraCodice
Comment compcert «prouve» différentes choses dans sa base de code
https://www.generacodice.com/fr/articolo/1600377/comment-compcert-prouve-differentes-choses-dans-sa-base-de-code
type-theory
-
coq
-
proof-techniques
-
software-verification
cs.stackexchange
Pourquoi la substitution se termine-t-elle?
https://www.generacodice.com/fr/articolo/1592887/pourquoi-la-substitution-se-termine-t-elle
semantics
-
programming-languages
-
termination
-
lambda-calculus
-
coq
cs.stackexchange
Dans CoQ, que signifie avoir un type inductif où le côté droit de «:» est un accessoire?
https://www.generacodice.com/fr/articolo/1589344/dans-coq-que-signifie-avoir-un-type-inductif-ou-le-cote-droit-de-est-un-accessoire
coq
-
inductive-datatypes
cs.stackexchange
Condition de positivité dans COQ / CIC
https://www.generacodice.com/fr/articolo/1589312/condition-de-positivite-dans-coq-cic
logic
-
programming-languages
-
coq
cs.stackexchange
Qu'est-ce que l'instantir des variables existentielles avec la variable hors de la portée implique?
https://www.generacodice.com/fr/articolo/1589191/qu-est-ce-que-l-instantir-des-variables-existentielles-avec-la-variable-hors-de-la-portee-implique
logic
-
coq
cs.stackexchange
Est possible de prouver l'indécidabilité du problème d'arrêt dans le COQ?
https://www.generacodice.com/fr/articolo/1588175/est-possible-de-prouver-l-indecidabilite-du-probleme-d-arret-dans-le-coq
halting-problem
-
coq
cs.stackexchange
Comment prouver tz = z pour la représentation binaire des nombres naturels en coq
https://www.generacodice.com/fr/articolo/1588117/comment-prouver-tz-z-pour-la-representation-binaire-des-nombres-naturels-en-coq
coq
cs.stackexchange
Je ne sais pas comment prouver un théorème simple utilisé avec FixPoint en CoQ
https://www.generacodice.com/fr/articolo/1584166/je-ne-sais-pas-comment-prouver-un-theoreme-simple-utilise-avec-fixpoint-en-coq
coq
cs.stackexchange
Prouver la tautologie avec CoQ
https://www.generacodice.com/fr/articolo/1577327/prouver-la-tautologie-avec-coq
logic
-
coq
cs.stackexchange
Preuve d'égalité avec destructuration de LET…
https://www.generacodice.com/fr/articolo/1572820/preuve-d-egalite-avec-destructuration-de-let
coq
cs.stackexchange
«
26
27
28
29
30
31
»
Résultats trouvés: 331