Joe Hendrix (@joe_hendrix_fm) 's Twitter Profile
Joe Hendrix

@joe_hendrix_fm

I write software. Principal Computer Scientist at SRI.

ID: 1373665749126934532

linkhttps://joehendrix.github.io/ calendar_today21-03-2021 16:00:21

463 Tweet

115 Takipçi

119 Takip Edilen

Joe Hendrix (@joe_hendrix_fm) 's Twitter Profile Photo
Joe Hendrix
@joe_hendrix_fm

3 years ago

I wanted to learn some post-quantum crypto, so I formalized a configuration of one of the NIST candidates, Classic Mceliece in Lean 4 theorem prover: github.com/joehendrix/lea…