Pierre-Marie Pédrot | XS:CODE

Pierre-Marie Pédrot

coq top 1

theorem-proving top 10

dependent-types top 10

Expertise

Global rank

# 63,517

Location

None

Languages

coq

OCaml

TeX

Products

sed

Topics

theorem...

depende...

theorem...

typecla...

raft

consens...

mathema...

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.