Repository navigation

LeanTQI

Public

About

No description, website, or topics provided.

Apache-2.0 license

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.github		.github
.vscode		.vscode
LeanTQI		LeanTQI
blueprint/src		blueprint/src
home_page		home_page
scripts		scripts
.gitignore		.gitignore
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
LeanTQI.lean		LeanTQI.lean
README.md		README.md
elan-init.sh		elan-init.sh
elan-init.sh.1		elan-init.sh.1
elan-init.sh.2		elan-init.sh.2
elan-init.sh.3		elan-init.sh.3
install_debian.sh.1		install_debian.sh.1
install_debian.sh.2		install_debian.sh.2
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

LeanTQI

This is an ongoing Lean4 project of TQI (Theory of Quantum Information).

Visit https://cadake.github.io/LeanTQI/.

About

No description, website, or topics provided.

Apache-2.0 license

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages

Generated from leanprover-community/LeanProject