Skip to content
You must be logged in to sponsor liyishuai

Become a sponsor to Yishuai Li

@liyishuai

Yishuai Li

liyishuai
Shanghai Xuhui

I lead the Chinese translation of Software Foundations, and maintain Coq libraries actively.

Please inform me if your sponsorship is dedicated to the SF-zh project.
I will distribute that part among translators.

Current sponsors 1

@sparanoid
Past sponsors 2
Private Sponsor
Private Sponsor

Featured work

  1. liyishuai/coq-parsec

    Monadic parser combinator library in Coq

    Coq 5
  2. liyishuai/coq-http

    HTTP specification in Coq, testable and verifiable

    Coq 17
  3. Coq-zh/SF-zh

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

    HTML 923
  4. QuickChick/QuickChick

    Randomized Property-Based Testing Plugin for Coq

    Coq 254
  5. coq-community/coq-ext-lib

    A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

    Coq 129
  6. coq-community/reduction-effects

    A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]

    Makefile 6

Select a tier

$ a month

Choose a custom amount.

$1 a month

Select

A cookie!

$5 a month

Select

A cup of refreshing milk tea!

$10 a month

Select

A warm lunch box!

$20 a month

Select

A quick dinner!

$50 a month

Select

Hot pot!

$100 a month

Select

Public transportation!

$500 a month

Select

Groceries!

$1,000 a month

Select

Apartment!

$2,000 a month

Select

Flight back home!

$6,000 a month

Select

You are rich!