#

gleason-theorem

Here is 1 public repository matching this topic...

markkasaurus / gleason-busch-lean

Lean 4 formalization of Gleason's theorem via Busch's effects formulation

theorem-proving mathematical-physics mathlib quantum-foundations lean4 formalized-mathematics mathlib4 gleason-theorem

Updated Apr 28, 2026
Lean

Improve this page

Add a description, image, and links to the gleason-theorem topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gleason-theorem topic, visit your repo's landing page and select "manage topics."