Coq
1 mentions across 1 person
Visit ↗All mentions
“you could ask your computer, is there a proof of the remon hypothesis...in a machine checkable format like, coaul or lean or some formal verification language like that”
Quantum Computing's Real Capabilities and Limits: Separating BQP from the Hype ↗