Skip to content
Avatar
🐔
I program with Coq!
🐔
I program with Coq!

Achievements

Achievements

Highlights

  • Pro

Organizations

@coq-ext-lib @coq-community @msra-alumni
Block or Report

Block or report liyishuai

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
liyishuai/README.md

GitHub stats
Wakatime stats
ViewCount

Pinned

  1. Monadic parser combinator library in Coq

    Makefile

  2. JSON in Coq

    Coq

  3. Testing asynchronous system

    Coq

  4. HTTP specification in Coq, testable and verifiable

    Coq 5

  5. 《软件基础》中译版 Software Foundations Chinese Translation

    HTML 615 48

  6. Randomized Property-Based Testing Plugin for Coq

    Coq 192 22

Contribution activity

June 2021

Created 2 repositories

Created a pull request in coq/coq that received 11 comments

List: make split_combine usable

I doubt if the previous definition was used anywhere. Kind: bug fix Entry added in the changelog (see https://github.com/coq/coq/tree/master/doc…

+7 −2 11 comments
Reviewed 2 pull requests in 2 repositories
coq/opam-coq-archive 1 pull request
plclub/metalib 1 pull request
36 contributions in private repositories Jun 1 – Jun 13

Seeing something unexpected? Take a look at the GitHub profile guide.