James Shaker's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . James Shaker is recognized as Lambda-calculus Top-1000 and Theorem-proving Top-1000 . A Github user since 2014 , James Shaker is ranked as #739,281 globally .
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]