QuantumComputinglib learn · inspect · formalize
Checked on this commit 4,524 public declarations commit c681192368c2 Build record

Stable Blueprint entry

ASPBE Verso Blueprint

The Blueprint resolves Lean declaration references during its own build. The unified site adds guided chapters and implementation status while retaining the existing multi-page Blueprint URL.