← All Papers · Formal Verification

Meta Pvsnp Platonic — ROADMAP scientific strengthening

Dr. Tamás Nagy Short Draft Formal Verification
Unreviewed draft. This paper has not been human-reviewed. Mathematical claims may be unverified. Use with appropriate caution.
View in Graph BibTeX
Length
1,876 words
Status
Unknown

Connects To

Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →