GitHub repository: matematiflo/CompAssistedMath2024
Primary language: Jupyter Notebook
Created: 2024-04-01T12:41:16Z
Description: GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.