1981 Homotopy Type Theory Coq Formal Proof transparent background image
is 10.04 KB, has a resolution of 1045x1024 pixels and was uploaded on October 11, 2024 @ 10:12 pm 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.