lambda-calculus... theorem-proving...

Global rank

# 449,205

Topics of expertise

lambda-...
theorem...
OCaml
TeX

Github followers

10

Github username

thtuerk

Location

Brechen, Germany

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

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.