You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.

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 ...