Also haven't used it, but this link from there [0] regarding intro to CS-style discrete math proofs seems somewhat lacking.

There doesn't seem to be enough focus on teaching proof techniques, and skips straight to discrete math content.

Could be a decent beginner resource if combined with something that teaches proof techniques though.

EDIT: the MIT book also listed is actually good [1]

[0]: https://cims.nyu.edu/~regev/teaching/discrete_math_fall_2005...

[1]: https://courses.csail.mit.edu/6.042/spring17/mcs.pdf

This is a great list. The person who made it runs a school for CS fundamentals, and I've been taking classes there for about a year. I strongly recommend it: https://bradfieldcs.com

This website is blocked in India with the message.

"The website has been blocked as per order of Ministry of Electronics and Information Technology under IT Act, 2000."

https://imgur.com/a/NuRxjFl