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 62 3

  6. mit-plv/bedrock

    Coq library for verified low-level programming

    Coq 23 5

64 contributions in the last year

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

Contribution activity

January 2020

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

You can’t perform that action at this time.