Formalizing local properties of modules in LEAN
We will follow the Stacks Project, Section 00EN, Lemma 00HT, Lemma 034K, Lemma 02JL, Lemma 00GY.
For API documentation, please visit https://mbkybky.github.io/module_localProperties.
-
Notifications
You must be signed in to change notification settings - Fork 0
Formalizing local properties of modules in LEAN
mbkybky/module_localProperties
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Formalizing local properties of modules in LEAN