About

Clément Pit-Claudel's main area of expertise is flycheck , and is also an expert on integrated-development-environment and coq . Clément Pit-Claudel is recognized as Flycheck Top-10Integrated-development-environment Top-10, and Coq Top-100 . A Github user since 2014 , Clément Pit-Claudel is ranked as #118,253 globally .
Additional areas of expertise: dependent-types, theorem-proving, and smt