Yishuai Li

https://scholar.google.com/citations?user=-GAtTucAAAAJ [email protected]

@Alibaba Shanghai Xuhui PhD'22 @plclub @DeepSpec; Mentor @SIGPLAN -M; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.