Skip to content
Avatar
  • Block or report user

    Block or report wangpengmit

    Block user

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

    Report abuse

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

    Report abuse
27 followers · 4 following · 79

Highlights

  • Arctic Code Vault Contributor

Organizations

@tensorflow

Pinned

  1. 6887psets

    Problem Sets for MIT 6.887 Formal Reasoning About Programs

    Coq 8 7

  2. ssmatrix-theory

    Coq formalization of matrix differentiation

    Coq 2

  3. timl

    TiML: A Functional Programming Language with Time Complexity

    Standard ML 3

  4. phd-thesis-supplemental

    Standard ML 2 1

  5. mit-plv/timl

    TiML: A Functional Programming Language with Time Complexity

    Standard ML 69 4

  6. mit-plv/bedrock

    Coq library for verified low-level programming

    Coq 29 5

103 contributions in the last year

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

Contribution activity

September 2020

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

You can’t perform that action at this time.