Démontrer avec un ordinateur

Syllabus

— Introduction aux assistants de preuve par ordinateur — Développer la rigueur de démonstration — Peut servir de motivation à la programmation certifiée

• actualités
• calendrier
• accès
• Questions fréquentes
• Contacts