Joe Hendrix

https://joehendrix.github.io/ [email protected]

Principal Research Software Engineer at Lean FRO Portland, OR I'm interested in program analysis, software assurance, and generally making software developers more productive.

Repositories
Issues
Comments

Results 1 repositories owned by


Joe Hendrix

lean-crypto

Stars

Forks

Watchers

Cryptographic routines for the Lean 4 language

joehendrix

lean4