$ whoami pmarreddy — Creator
@pmarreddy
StructuralOWF · v1.0.0
A complete formalization of P≠NP in Lean 4 with a minimal trust boundary (2 axioms).
Are you pmarreddy? Claim this profile.
