A Lean 4 formalization of basic quantum computing definitions. It is a Lake/mathlib4 project and starts with a small core API for finite-dimensional complex matrices, state vectors, common qubit ...
Customer stories Events & webinars Ebooks & reports Business insights GitHub Skills ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results