Skip to content
Avatar
  • Princeton University

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@UniMath

Pinned

  1. This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq 679 129

  2. Forked from UniMath/UniMath

    This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

    Coq

21 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

January - March 2021

mweav has no activity yet for this period.

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