Distance-Independent Universality of Clifford+T
이 논문은 네 가지 공리를 통해 사영 거리 척도(projective distance measures)의 부류를 정의함으로써 Clifford+T 게이트 집합에 대한 거리-독립적 보편성 정리(distance-independent universality theorem)를 확립하고, 해당 정리가 이러한 모든 척도에 대해 성립함을 입증하며, 그 증명을 Lean으로 형식화한다.