Repository navigation

module_localProperties

Public

About

Formalizing local properties of modules in LEAN

mbkybky.github.io/module_localProperties/

7 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
ModuleLocalProperties		ModuleLocalProperties
.gitignore		.gitignore
ModuleLocalProperties.lean		ModuleLocalProperties.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Repository files navigation

Local properties of modules

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.

About

Formalizing local properties of modules in LEAN

mbkybky.github.io/module_localProperties/

7 stars

2 watching

Report repository

Used by

Contributors

Languages