For the p2pu group, notes and answers to questions in:
akanazawa/Formal-Reasoning-in-Computer-Science
University of Maryland open study group on mathematical proofs, theoretical arguments, probability theory and randomized algorithms. Focus on solving problems. Content has been chosen to complement graduate-level work in computer science.
Emacs Lisp