About

Thomas Tuerk's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . Thomas Tuerk is recognized as Lambda-calculus Top-100 and Theorem-proving Top-1000 . A Github user since 2012 , Thomas Tuerk is ranked as #449,205 globally .
Additional areas of expertise: TeX