Save
1981 Homotopy Type Theory Coq Formal Proof PNG
Download

1981 Homotopy Type Theory Coq Formal Proof

for free. It is licensed for Personal Use. The

1981 Homotopy Type Theory Coq Formal Proof transparent background image

is 10.04 KB, has a resolution of 1045x1024 pixels and was uploaded on November 29, 2019 @ 10:36 am by user: gesineang. It is filed under the tags: coq, haskell, mathematics, homotopy, theory. Click the blue button at the top to freely download: 1981 Homotopy Type Theory Coq Formal Proof png.
Download Transparent PNG

1981 Homotopy Type Theory Coq Formal Proof PNG

Edit PNG
AI Background Remover
1045x1024
10.04 KB
November 29, 2019
PNG (300 DPI)