This repository contains comprehensive course materials for graduate-level mathematics, including topics like set theory, real analysis, topology, linear algebra and abstract algebra. The content is ...

Lean companion of the Abstract Algebra I course, proving theorems in the notes. Note added in Feb 26 - With the help of Aristotle (https://aristotle.harmonic.fun/), many of the theorems proved in ...