Skip to content



Block or Report

Block or report minchaowu

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.

Report abuse

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

Report abuse


  1. mathlib Public

    Forked from leanprover-community/mathlib

    Lean standard library


  2. ModalTab Public

    Verified decision procedures for modal logics in Lean

    Lean 5 1

  3. HOL Public

    Forked from HOL-Theorem-Prover/HOL

    Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

    Standard ML

593 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Activity overview
Contributed to minchaowu/, robertylewis/mathematica, minchaowu/INT and 2 other repositories

Contribution activity

January 2022

43 contributions in private repositories Jan 2 – Jan 24

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