Skip to the content.

Formalization of TQI(Theory of Quantum Information)

by cadake

Blueprint (web) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

LeanTQI is maintained by cadake. Visit the GitHub repository for more information.