QuantumComputinglib learn · inspect · formalize
Checked on this commit 2,822 public declarations commit 07559c3d051f Build record

People

Organizers

QuantumComputinglib is maintained with ASPBE by the current project authors. Contributor credit is recorded separately and follows each accepted lemma or teaching contribution.

Dake Bu

City University of Hong Kong · A*STAR

Xiajie Huang

Shanghai Jiao Tong University

Nana Liu

Shanghai Jiao Tong University

Atsushi Nitanda

A*STAR · Nanyang Technological University

Hau-san Wong

City University of Hong Kong

Qingfu Zhang

City University of Hong Kong

Contributor credit

New contributors choose a preferred public credit line in their lemma packet. Integration keeps the mathematical source, compiler evidence, and contributor attribution together.

Submit a contribution