Assorted Lean exercises. Numbered in order of creation. Exploratory and idiosyncratic in the sense that naming conventions and result inclusions are motivated by personal sensibilities as opposed to e.g. conformity to Mathlib/CSlib.
glassala/exercises
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|