Experiments in algebraic geometry as part of the EPSRC Taught Course Centre course on formalising number theory and geometry - View it on GitHub