add requirements for sympy (symbolic expressions for python)
notes about exercise in automata
GT in-lecture quiz and other GT problem solutions using sympy