Questions programmation coq

Score Aff Date
Avatar de pintoch

3

1 Rép
99 Aff

Déplier les définitions imbriquées en Coq

Résolu
Demandé el 8 de Juillet, 2016 par pintoch
Etiquettes :
Photo de luke36

4

1 Rép
40 Aff

Inverser un vecteur en Coq

Résolu
Demandé el 9 de Décembre, 2021 par luke36
Etiquettes :
Photo de Leo Orshansky

3

1 Rép
105 Aff

Coq - Comment appliquer une implication avec une clause de correspondance ?

Résolu
Demandé el 7 de Novembre, 2020 par Leo Orshansky
Etiquettes :
Photo de Alex

3

2 Rép
131 Aff

Comment implémenter une structure de données union-find (ensemble disjoint) dans Coq ?

Ouvert
Demandé el 15 de Mars, 2021 par Alex
Etiquettes :
Photo de Carl Patenaude Poulin

3

3 Rép
77 Aff

Automatisation de la tactique : procédure de décision simple

Résolu
Demandé el 5 de Novembre, 2017 par Carl Patenaude Poulin
Etiquettes :
Photo de Quyen

2

1 Rép
228 Aff

module de première classe dans Coq

Résolu
Demandé el 11 de Avril, 2013 par Quyen
Etiquettes :
Photo de luochen1990

45

2 Rép
1583 Aff

Comment pouvons-nous surmonter les temps de compilation et les délais d'exécution lors de la programmation dans un langage à typage dépendant?

Ouvert
Demandé el 6 de Janvier, 2018 par luochen1990
Etiquettes :
Avatar de oxbow_lakes

70

2 Rép
2700 Aff

Quelles sont les limites pratiques de non-turing langue comme le Coq?

Résolu
Demandé el 16 de Août, 2010 par oxbow_lakes
Etiquettes :

Top Tags

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

Yandex
X