Mathlang: Experience-driven development of a new mathematical language (0)

by Fairouz Kamareddine, Manuel Maarek, J B Wells
Venue:In Proc