3 ms·So basically the argument is that Coq is the ideal beginner programming language.by cbsmith 13y agoSo basically the argument is that Coq is the ideal beginner programming language.