Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction

Source URL: www.msr-inria.fr

• Finite groups
• Metalogic
• Mathematical logic
• Mathematical proofs
• Coq
• Feit–Thompson theorem
• Proof assistant
• Dade isometry
• Fundamental theorem of algebra
• Mathematics
• Abstract algebra
• Algebra