Fall 2023, 21322: Below is information about CMU Fall 2023 course 21322: Topics in Formal Mathematics. The course number is 21322 or 21-322. The course Topics in Formal Mathematics(21322) in Fall 2023 has 9.0 unit. The professor Massot is teaching the course Topics in Formal Mathematics(21322) in Fall 2023. The professor/instructor of Topics in Formal Mathematics(21322) in Fall 2023 is Massot. The department of Topics in Formal Mathematics(21322) is Mathematical Sciences. The location of Topics in Formal Mathematics(21322) is Pittsburgh, Pennsylvania. The room of Topics in Formal Mathematics(21322) is WEH 5310. The course happens in MWF, from 12:00PM to 12:50PM in Fall 2023.
