unitaryHACK 2026 has come to a close.
We formalize quantum computing and quantum information in the Lean theorem checker.
Lean ITP ATP theorem proving proofs functional programming