AgentPMT
AgentHALO
Paper → Proof → Code
Research
Explore
Login
Open main menu
Overview
Projects
Papers
Visual Models
Paper → Proof → Code
Loading...
From Orthomodular to Intuitionistic: A Lean-Verified Nucleus that Bridges Quantum Logic and Heyting Reasoning
