Jeffrey Ling from the University of Toronto reports on his experience working with the Formulize project for UCOSP this term.