As a person who recently obtained their bachelors in CS, I feel like my program was not particularly challenging. There's certainly a large gap in my knowledge that I'd like to fill both for my own satisfaction and career development. I want to start out by refreshing my knowledge and taking a deeper dive into Discrete Mathematics.<p>Are there any online courses or textbooks that I should be checking out? I understand that DM can be proof-heavy which can be a detriment to self-learners. Are there any courses or communities that could provide feedback on submitted proofs?<p>Thanks in advance.