Skip to content
Pro
Block or report user

Report or block wangpengmit

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Organizations

@tensorflow
Block or report user

Report or block wangpengmit

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Pinned

  1. 6887psets

    Problem Sets for MIT 6.887 Formal Reasoning About Programs

    Coq 7 7

  2. ssmatrix-theory

    Coq formalization of matrix differentiation

    Coq 2

  3. timl

    TiML: A Functional Programming Language with Time Complexity

    Standard ML 2

  4. phd-thesis-supplemental

    Standard ML 2 1

  5. mit-plv/timl

    TiML: A Functional Programming Language with Time Complexity

    Standard ML 64 3

  6. mit-plv/bedrock

    Coq library for verified low-level programming

    Coq 24 5

59 contributions in the last year

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

Contribution activity

February 2020

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

You can’t perform that action at this time.