🐔
I program with Coq !
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
- Shanghai
-
13:29
(UTC +08:00) - https://scholar.google.com/citations?user=-GAtTucAAAAJ
- @YishuaiLi
Block or Report
Block or report liyishuai
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
QuickChick/QuickChick
QuickChick/QuickChick PublicRandomized Property-Based Testing Plugin for Coq
-
coq-community/coq-ext-lib
coq-community/coq-ext-lib PublicA library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.