Skip to main content

surface_code_distance_ty

oxilean_std::quantum_computing::functions

Function surface_code_distance_ty 

Source 
pub fn surface_code_distance_ty() -> Expr
Expand description

SurfaceCodeDistance : ∀ d : Nat, Prop The surface code with parameter d has code distance d, i.e., the minimum weight of any undetectable logical error is d.