Become an AceSign inSign up
Waqar Ahmedlambda-calculustheorem-provingOCaml
I'm interested in formal reasoning about dependability properties of critical sy...
lambda-calculus... theorem-proving...

Global rank

# 764,794

Topics of expertise

lambda-...
theorem...
OCaml

Github followers

3

Github username

ahmedwaqar

Location

Canada

About

Waqar Ahmed's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . Waqar Ahmed is recognized as Lambda-calculus Top-1000 and Theorem-proving Top-1000 . A Github user since 2016 , Waqar Ahmed is ranked as #764,794 globally .

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.