Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot
GrahamStrickland/math_lean
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Examples and exercises from "Mathematics in Lean" - Jeremy Avigad & Patrick Massot