Slide 1 A Language for Mathematical Knowledge Management Steve Kieffer Carnegie Mellon University Slide 2 2 What is Mathematical Knowledge? Theorems Definitions Proofs Slide…