J jeremykun.com Musings on a New Interface for Mathematics (2020) 4 points blewboarwastake 4 years ago 0 comments