0La chaleur
1Répondre
Prouver la commutativité d'ajouter, Prendre 2
1La chaleur
1Répondre
L'algorithme suivant est-il stable?
1La chaleur
2Répondre
Questions linéaire logique temporelle (LTL)
0La chaleur
1Répondre
Le nombre de sous-graphes connectés (!) Est exponentiel?
0La chaleur
2Répondre
Tous les ensembles indépendants maximaux d'un matroïde ont la même cardinalité
-1La chaleur
1Répondre
Simplifying expressions booléennes
1La chaleur
1Répondre
Preuve de suffixe racine de l'arbre
0La chaleur
1Répondre
Comment utiliser apply pour "extraire" une implication dans Coq
1La chaleur
1Répondre
Comment prouver ce code Haskell en utilisant le raisonnement équationnel