20 something years ago, GT had constructing proofs as an early CS course. It doesn't seem to be required anymore. Here's a 2005 course page for it: https://facu

20 something years ago, GT had constructing proofs as an early CS course. It doesn't seem to be required anymore. Here's a 2005 course page for it: https://faculty.cc.gatech.edu/~vigoda/1050-Fall05/index.html https://faculty.cc.gatech.edu/~vigoda/1050-Fall05/index.html I don't recall it being terribly popular, but it was good as I recall (and useful when I later added a math degree, I think I had a leg up on most of my math major peers because of it).