LeanTQI

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

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
.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

Provide feedback