Record K₂ < 0.302825279492 with an external proof archive (Markdown only) - #169
Open
Shivamshaiv wants to merge 2 commits into
Open
Record K₂ < 0.302825279492 with an external proof archive (Markdown only)#169Shivamshaiv wants to merge 2 commits into
Shivamshaiv wants to merge 2 commits into
