About

Tarek Mhamdi's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . Tarek Mhamdi is recognized as Lambda-calculus Top-1000 and Theorem-proving Top-1000 . A Github user since 2012 , Tarek Mhamdi is ranked as #740,030 globally .