Give them environment to develop projects where they have to learn Math Languages on their own. Require that they choose their language; try to advise matching

Give them environment to develop projects where they have to learn Math Languages on their own. Require that they choose their language; try to advise matching problems to languages. R, Stan, Figaro, Venture, Hakaru Coq, Cryptol Sage, Magma, Maple