This repository will serve as the starting point for example code we will use for learning and studying doing mathematics in Lean and related concepts. The main webpage for all our semester overview located here
ghseeli/michigan-lean-study-group
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|