GitHub repository: phoenix172/fmi-bachelor-the-math-part
Primary language: TeX
Description: This project is related to the match courses I've taken during my bachelor. Mainly for theorem provings