URL details: unimath.github.io/UniMath/UniMath/

home > domains > unimath.github.io > unimath.github.io/UniMath/UniMath/

URL title: Univalent Mathematics Coq files | UniMath
URL description: This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
URL last crawled: 2023-01-07
URL speed: 0.312 MB/s, downloaded in 0.040 seconds

open external url

We found no external links pointing to this url.