>>11096785...dude, proof based mathematics is exactly the mathematics that is applicable to CS. Computers are mathematical precise objects, and the machines you work on are a physical realization of a mathematical ideal. All the algorithms, systems, OS, architecture, etc., you enjoy is based in proof based combinatorics, graph theory, (some) analysis, abstract algebra, number theory, etc.. You wouldn't have any basic tools to reason about algorithms and feasibility were it not for complexity theory proofs. You wouldn't have any security were it not for number theory. So yes lol, prongrammin and proofs go together very well
