LeanOA

Public

• NotificationsYou must be signed in to change notification settings
• Fork3 (3)
• Star3 (3)You must be signed in to star a repository

About

Operator algebras in Lean

j-loreaux.github.io/LeanOA/

Activity

Stars

3 stars

Watchers

1 watching

Forks

3 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

108 Commits

108 Commits

Folders and files

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
.vscode		.vscode
LeanOA		LeanOA
LeanOABlueprint		LeanOABlueprint
home_page		home_page
.gitignore		.gitignore
LeanOA.lean		LeanOA.lean
LeanOABlueprint.lean		LeanOABlueprint.lean
LeanOAMain.lean		LeanOAMain.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
View all files

About

Operator algebras in Lean

j-loreaux.github.io/LeanOA/

Activity

Stars

3 stars

Watchers

1 watching

Forks

3 forks

Report repository

Releases

Packages

Used by

Contributors

Languages