Skip to content

Lean companion: actual-law D2 moment strictness and zero-atom equality cases - #317

Merged
cursor[bot] merged 5 commits into
mainfrom
chatgpt/d2-moment-law-bridge-20261006
Oct 6, 2026
Merged

Lean companion: actual-law D2 moment strictness and zero-atom equality cases#317
cursor[bot] merged 5 commits into
mainfrom
chatgpt/d2-moment-law-bridge-20261006

Refresh PR317 onto current main without changing reviewed companion p…

cb473cb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar