Skip to the content.

Operator Algebras in Lean

by Jireh Loreaux

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

GitHub
Open pull requests
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository
Upstreaming dashboard

LeanOA is maintained by Jireh Loreaux. Visit the GitHub repository for more information.