8000 Pilot A: publish protected prime-parity refutation by Mnehmos · Pull Request #42 · Mnehmos/MathOS · GitHub
[go: up one dir, main page]
Skip to content

Pilot A: publish protected prime-parity refutation - #42

Merged
Mnehmos merged 1 commit into
mainfrom
feat/pilot-a-protected-refutation
Jul 21, 2026
Merged

Pilot A: publish protected prime-parity refutation#42
Mnehmos merged 1 commit into
mainfrom
feat/pilot-a-protected-refutation

feat: publish Pilot A refutation candidate

1a5755f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar
0