GitHub repository: ymonbru/Diagram-chasing
Primary language: Python
Description: The code produced during my internship at the Math Institute of Freiburg (under the supervision of Johan Commelin)