Some condensed mathematics in Lean. Based on notes of Peter Scholze: https://www.math.uni-bonn.de/people/scholze/Condensed.pdf
Sumit0730/condensed-sets
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Some condensed mathematics in Lean. Based on notes of Peter Scholze: https://www.math.uni-bonn.de/people/scholze/Condensed.pdf