Skip to content

Add Commander-governed proof-producing congruence#4

Draft
FreshSoftware4 wants to merge 5 commits into
chatgpt/native-constraint-core-pass7from
chatgpt/proof-congruence-pass8
Draft

Add Commander-governed proof-producing congruence#4
FreshSoftware4 wants to merge 5 commits into
chatgpt/native-constraint-core-pass7from
chatgpt/proof-congruence-pass8

Close proof congruence promotion boundary

8538461
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar