I'm interested in program analysis, software assurance, and generally making software developers more productive.
-
Principal Research Software Engineer at Lean FRO
- Portland, OR
- https://joehendrix.github.io/
Block or Report
Block or report joehendrix
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
lean-sat-checker
lean-sat-checker PublicA work in progress proof checker for LRAT files written in Lean.
Lean 11
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.