Skip to content
@unimath2019-ri

unimath2019-ri

Popular repositories Loading

  1. UniMath UniMath Public

    Forked from UniMath/UniMath

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

    Coq

Repositories

Showing 1 of 1 repositories
  • UniMath Public Forked from UniMath/UniMath

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

    unimath2019-ri/UniMath’s past year of commit activity
    Coq 0 172 0 5 Updated Jun 8, 2019

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…