EasyChair Smart Slide
A Survey of Languages for Formalizing Mathematics
A Survey of Languages for Formalizing Mathematics