GitHub repository: mahykari/formalisms
Primary language: TeX
Description: Formalisms Every Computer Scientist Should Know course at ISTA 2023