Inacio F. Vasquez
Independent researcher building repository-native, executable research artifacts.
Start Here / Verification Path
Canonical identity
Formal Verification Boundary
Public boundary page for Lean 4, reproducible proof artifacts, SHA-256 ledger policy, HepLean/PhysLean comparison limits, mainstream-impact language, and open-problem claims.