Liste des développements

• Dév. Preuve de correction d'un tri simple par la logique de Hoare (par Lucas Tabary-Maujean)
• Dév. Étude de l'algorithme d'unification de Robinson (par Lucas Tabary-Maujean)