Some condensed mathematics in Lean. Based on notes of Peter Scholze: https://www.math.uni-bonn.de/people/scholze/Condensed.pdf
forked from ImperialCollegeLondon/condensed-sets
-
Notifications
You must be signed in to change notification settings - Fork 0
Sumit0730/condensed-sets
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Condensed mathematics in Lean
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Lean 100.0%