Skip to content

Merge main into feat/solo-core-metatheory-proofs (un-block #614)#615

Merged
hyperpolymath merged 12 commits into
feat/solo-core-metatheory-proofsfrom
claude/inspiring-newton-dg5wov
Jun 21, 2026
Merged

Merge main into feat/solo-core-metatheory-proofs (un-block #614)#615
hyperpolymath merged 12 commits into
feat/solo-core-metatheory-proofsfrom
claude/inspiring-newton-dg5wov

Merge origin/main into feat/solo-core-metatheory-proofs

4cbcf87
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar