QuantumComputinglib learn · inspect · formalize
Checked on this commit 4,524 public declarations commit f2cba045611a 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.