Robuta

https://pme-math.org/ Pi Mu Epsilon | Pi Mu Epsilon is dedicated to the promotion of mathematics and recognition of... pi mu epsilon to the https://math.unl.edu/pi-mu-epsilon-lecture-series/ Pi Mu Epsilon Lecture Series | Department of Mathematics | Nebraska pi mu epsilon department of mathematics lecture series nebraska https://math.columbian.gwu.edu/undergraduate-student-seminar-pi-mu-epsilon-talk-proof-assistants-and-future-math-feat-lean Undergraduate Student Seminar (Pi Mu Epsilon talk)- Proof Assistants and the Future of Math (feat.... Undergraduate Student Seminar (Pi Mu Epsilon talk)- Proof Assistants and the Future of Math (feat. Lean)