Search results

Add release action

ecosystemrepository ecosystem components (e.g., CI, development scripts, agent skills)repository ecosystem components (e.g., CI, development scripts, agent skills)

Status: Open.

#22 In kencyke/quantum-system;

· kencyke opened on May 7, 2026

Timelike tube theorem

Status: Open.

#21 In kencyke/quantum-system;

· kencyke opened on May 5, 2026

Haag–Kastler net

Status: Open.

#19 In kencyke/quantum-system;

· kencyke opened on May 4, 2026

Improve PDF-to-Lean Proof Translation Pipeline (SKILL)

ecosystemrepository ecosystem components (e.g., CI, development scripts, agent skills)repository ecosystem components (e.g., CI, development scripts, agent skills)

Status: Open.

#18 In kencyke/quantum-system;

· kencyke opened on May 4, 2026

Relative Entropy for States of von Neumann Algebras

Status: Open.

#17 In kencyke/quantum-system;

· kencyke opened on May 1, 2026

Koashi-Imoto theorem

Status: Open.

#16 In kencyke/quantum-system;

· kencyke opened on May 1, 2026

Take Mathlib's version of GNS representation into our construction

Status: Open.

#11 In kencyke/quantum-system;

· kencyke opened on Feb 20, 2026

Lieb–Robinson bounds

Status: Open.

#5 In kencyke/quantum-system;

· kencyke opened on Dec 14, 2025

Gleason's theorem

Status: Open.

#4 In kencyke/quantum-system;

· kencyke opened on Dec 14, 2025