Hi, I'm Albert, an intended L&S Math and Computer Science major. I've done a lot of coding competitions (mostly about data structures/algorithms) in the past, and hope to get more proof-based knowledge out of this class.
You can find my notes and homework at the GitHub repository here.