Syrus: providing practice problems in discrete mathematics with instant feedback. - Diego Zaccai; Aditi Tagore; Dustin Hoffman; Jason Kirschenbaum; Zakariya Bainazarov; Harvey M. Friedman; Dennis K. Pearl; Bruce W. Weide (SIGCSE, 2014)