GitHub repository: matematiflo/Comp_assisted_math
Primary language: Jupyter Notebook
Description: GitHub repository for the Proseminar on Computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.