8La chaleur
1Répondre
Recherche de la propriété de substitution du successeur sur l'égalité
1La chaleur
1Répondre
Raffinement d'une spécification B
3La chaleur
1Répondre
Pourquoi Coq ne peut-il pas comprendre la symétrie de l'égalité par lui-même?
1La chaleur
1Répondre
Utilisation de jeux en mode maigre
1La chaleur
1Répondre
De l'ensemble d'inclusion pour définir l'égalité en Lean
17La chaleur
1Répondre
Prouver les 100 prisonniers et une ampoule avec Dafny
2La chaleur
1Répondre
Exemple de vérification SAW C échoué
2La chaleur
1Répondre
Trouver tous les modèles satisfaisants Z3 utilisant le langage C et non C++?
1La chaleur
1Répondre
Définition de la fonction prédécesseur (avec pred 0 = 0) pour les nombres naturels en Lean
2La chaleur
2Répondre
Idris - réécriture dans le théorème simple, la preuve