lean-quantum
lean-quantum copied to clipboard
Published
20 hours ago •
duckki
duckki
Formalized quantum computing in Lean theorem prover
duckki
Formalized quantum computing in Lean theorem prover
duckki