Giters
Tamara von Glehn (tamaravonglehn)

tamaravonglehn

Geek Repo

22

followers

0

following

0

stars

Location:Cambridge, UK

Github PK Tool:Github PK Tool

Organizations
google-deepmind

Tamara von Glehn's repositories

UniMath

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

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0