duckki / lean-quantumLinks

Formalized quantum computing in Lean theorem prover
25Updated 4 years ago

Alternatives and similar repositories for lean-quantum

Users that are interested in lean-quantum are comparing it to the libraries listed below

Sorting: