Yishuai Li@liyishuai 
PhD student @plclub @DeepSpec
coq top 100 LLVM top 100 CSV top 100

Expertise

Global rank

# 18,539

Location

Philadelphia, PA
Languages
coq
MATLAB
TeX
OCaml
C++
JavaScr...
Python
Common ...
Haskell
Products
Node.js
vscode
Emacs
Shell
sed
Topics
LLVM
CSV
pronunc...
depende...
chinese...
theorem...
transla...
integra...
transla...
mirror

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.