Skip to content
Avatar
🐔
I program with Coq!
🐔
I program with Coq!
139 followers · 122 following · 110

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

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. coq-parsec

    Monadic parser combinator library in Coq

    Makefile

  2. coq-json

    JSON in Coq

    Coq

  3. coq-async-test

    Testing asynchronous system

    Coq

  4. coq-http

    HTTP specification in Coq, testable and verifiable

    Coq 5

  5. Coq-zh/SF-zh

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

    HTML 611 48

  6. QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq 191 22

948 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

June 2021

Created 1 commit in 1 repository
6 contributions in private repositories Jun 1

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