Mario Xerxes Castelá...
lambda-calculus top 1000 theorem-proving top 1000

Global rank

# 752,641

Topics of expertise

lambda-...
theorem...
OCaml

Location

None

About

Mario Xerxes Castelán Castro's main area of expertise is lambda-calculus , and is also an expert on theorem-proving and OCaml . Mario Xerxes Castelán Castro is recognized as Lambda-calculus Top-1000 and Theorem-proving Top-1000 . A Github user since 2015 , Mario Xerxes Castelán Castro is ranked as #752,641 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]

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.