1 paper · 1 filter
Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva
Mathematical knowledge exists in many forms, ranging from informal textbooks and lecture notes to large formal proof libraries, yet moving between these representations remains dif…