0La chaleur
2Répondre
Montrer que p^3 - 1 est un nombre composé donné P> 2
-1La chaleur
1Répondre
1La chaleur
1Répondre
Qu'est-ce qu'une «preuve de rond-point» dans Propositions en tant que Types par P. Wadler?
1La chaleur
3Répondre
Comment prouver une définition de preuve dans Coq
0La chaleur
1Répondre
Comment obtenir des fonctions de racine carrée et de logarithme symboliques dans SBV?
4La chaleur
1Répondre
Pourquoi ce code SBV s'arrête-t-il avant d'avoir atteint la limite que j'ai fixée?
0La chaleur
1Répondre
pompage lemme pour CFG ne fonctionne pas
2La chaleur
1Répondre
Surcharge d'opérateur dans Isabelle
3La chaleur
1Répondre
Quantification universelle dans Isabelle/HOL