Skip to content
View zhanquen's full-sized avatar

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report zhanquen

Block user

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

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
zhanquen/README.md

Popular repositories Loading

  1. zhanquen zhanquen Public

    Config files for my GitHub profile.

  2. passport-franceconnect passport-franceconnect Public

    Forked from JMLX42/passport-franceconnect

    JavaScript

  3. zhanquen.github.io-index.html zhanquen.github.io-index.html Public

    HTML

  4. NuancedCoq NuancedCoq Public

    Interpretation and Exercises for Coq MathComp beginners, executable on following website

    Rocq Prover

  5. script_VCGSS script_VCGSS Public

    A simple script for studying specification and verification of "VCG auction for Sponsored Search" theory

  6. ForMech.v ForMech.v Public

    Forked from jouvelot/mech.v

    A Coq/Mathematical Components library for mechanism design

    Rocq Prover