/lean-quantum

Formalized quantum computing in Lean theorem prover

Primary LanguageLean

Stargazers