Logic
Logique propositionnelle
Tactiques de base pour les connecteurs logiques
Exercices de rabe
Logique classique
Primes
Petits exemples sur les nombres premiers
Tactique générique pour prouver qu'un nombre est premier
Gauss
Diviseurs
PGCD
Algorithme d'Euclide étendu
Preuve de correction de l'algorithme étendu
Théorème de Bachet-Bézout
Théorème de Gauss
This page has been generated by
coqdoc