Skip to content

Implement canonical κ_Π definition (N=12) with axiomatic reduction to single theorem - #423

Open
motanova84 with Copilot wants to merge 4 commits into
mainfrom
copilot/define-kappa-pi-constant
Open

Implement canonical κ_Π definition (N=12) with axiomatic reduction to single theorem#423
motanova84 with Copilot wants to merge 4 commits into
mainfrom
copilot/define-kappa-pi-constant

Merge branch 'main' into copilot/define-kappa-pi-constant

c3a1b0c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar