reddit

“
Any instructor of computer science or mathematics is invited
to test any of our projects in the classroom for courses in
discrete mathematics, combinatorics, graph theory, algorithm design,
logic, abstract algebra, foundations of mathematics, or the history
of mathematics. Here is a
list of projects
to be written under a Phase II expansion proposal.
For further information, contact either
Jerry Lodder or Desh Ranjan above.
” source...