The following link is a textbook that teaches discrete concepts using Coq, an interactive theorem prover.
https://cs.pomona.edu/~michael/courses/csci054s18/book/toc.html
I'll be casually using this to supplement my instruction while taking COT 3100 in Spring 2021.