Formal Verification Engineer and
Theorem Prover Guy
-
Amazon
- United States
- http://www.kookamara.com/jared/
Highlights
- Pro
Block or Report
Block or report jaredcdavis
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse