Pinned Loading

1. noisevault noisevault Public

   Real device noise, pinned and portable. Load dated calibration profiles of real quantum computers into Qiskit, Cirq, PennyLane and Stim.

   Python 1

2. math-and-theory math-and-theory Public

   Mathematical research, counterexamples, and Lean 4 proofs in mathematics, optimization, quantum information, and theoretical computer science. Fully autonomous agentic research by AI. Includes manu…

   Lean 1

3. oeis-proofs oeis-proofs Public

   A collection of proofs, disproofs and corrections of OEIS conjectures, with self-contained papers and Lean 4 formalizations.

   TeX 2 1