Devin Jeanpierredependent-typessmtpypy
dependent-types... smt top 1000pypy top 1000

Global rank

# 240,042

Topics of expertise

depende...
smt
pypy
theorem...

Github followers

13

Github username

ssbr

Location

None

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

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.