GitHub repository: L-wr/CompAssistedMath2024
Primary language: Jupyter Notebook
Description: GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.