Skip to content

Record K₂ < 0.302825279492 with an external proof archive (Markdown only) - #169

Open
Shivamshaiv wants to merge 2 commits into
teorth:mainfrom
Shivamshaiv:codex/c59-markdown-only
Open

Record K₂ < 0.302825279492 with an external proof archive (Markdown only)#169
Shivamshaiv wants to merge 2 commits into
teorth:mainfrom
Shivamshaiv:codex/c59-markdown-only

Cite the published Zenodo proof archive

0253406
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs