Zoe Paraskevopoulou@zoep 
dependent-types top 100 smt top 100 theorem-proving top 100

Expertise

Global rank

# 290,815

Location

Boston, MA
Languages
f-sharp
coq
F#
OCaml
Topics
depende...
smt
theorem...

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.