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
Browse the full SIGCSE paper archive.