🐔
I program with Coq !
PhD'22 @plclub @DeepSpec; Maintainer @coq-community @ocaml-community; Editor @Coq-zh; Contributor @coq.
- Shanghai
-
15:39
(UTC +08:00) - https://scholar.google.com/citations?user=-GAtTucAAAAJ
- @YishuaiLi
Pinned Loading
-
-
-
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.