This repository contains the code for the tutorial Algebraic computations in Lean, by Heather Macbeth.
If you have a GitHub account, you can run the code on the web using Gitpod.
You can also clone the repository to your computer by typing git clone https://github.com/hrmacbeth/computations_in_lean.git at the command line. This will let you run the code on your computer.