From Orthomodular to Intuitionistic: A Lean-Verified Nucleus that Bridges Quantum Logic and Heyting Reasoning

From Orthomodular to Intuitionistic: A Lean-Verified Nucleus that Bridges Quantum Logic and Heyting Reasoning | apoth3osis