About

Devin Jeanpierre's main area of expertise is dependent-types , and is also an expert on smt and pypy . Devin Jeanpierre is recognized as Dependent-types Top-1000Smt Top-1000, and Pypy Top-1000 . A Github user since 2010 , Devin Jeanpierre is ranked as #240,042 globally .
Additional areas of expertise: theorem-proving, f-sharp, and python-library