Musings on a New Interface for Mathematics (2020) #1 Post by blewboarwastake » Fri, Mar 11, 2022, 6:54 AM UTC Musings on a New Interface for Mathematics (2020)jeremykun.com