adueck.github.io/blog/curry-howard-proofs-are-programs
Preview meta tags from the adueck.github.io website.
Linked Hostnames
5- 7 links toadueck.github.io
- 1 link toen.wikipedia.org
- 1 link tohtdp.org
- 1 link towww.amazon.com
- 1 link towww.typescriptlang.org
Thumbnail
Search Engine Appearance
Proofs are Programs: A Few Examples of the Curry-Howard Correspondence
Proofs are programs, and programs are proofs. That's basically what the Curry-Howard correspondance says. While learning about direct proofs in math, it helped me to think of a direct proof as a simple function that I was trying to write...
Bing
Proofs are Programs: A Few Examples of the Curry-Howard Correspondence
Proofs are programs, and programs are proofs. That's basically what the Curry-Howard correspondance says. While learning about direct proofs in math, it helped me to think of a direct proof as a simple function that I was trying to write...
DuckDuckGo
https://adueck.github.io/blog/curry-howard-proofs-are-programsProofs are Programs: A Few Examples of the Curry-Howard Correspondence
Proofs are programs, and programs are proofs. That's basically what the Curry-Howard correspondance says. While learning about direct proofs in math, it helped me to think of a direct proof as a simple function that I was trying to write...
General Meta Tags
9- titleProofs are Programs: A Few Examples of the Curry-Howard Correspondence
- charsetutf-8
- x-ua-compatibleie=edge
- viewportwidth=device-width, initial-scale=1, shrink-to-fit=no
- generatorGatsby 5.14.1
Open Graph Meta Tags
4- og:imagehttps://adueck.github.io/blog/static/3737f563c26d95ac04b116d77dd06b83/b1395/proofs-are-programs.jpg
- og:titleProofs are Programs: A Few Examples of the Curry-Howard Correspondence
- og:descriptionProofs are programs, and programs are proofs. That's basically what the Curry-Howard correspondance says. While learning about direct proofs in math, it helped me to think of a direct proof as a simple function that I was trying to write...
- og:typewebsite
Twitter Meta Tags
5- twitter:imagehttps://adueck.github.io/blog/static/3737f563c26d95ac04b116d77dd06b83/b1395/proofs-are-programs.jpg
- twitter:cardsummary_large_image
- twitter:creatorlingdocs
- twitter:titleProofs are Programs: A Few Examples of the Curry-Howard Correspondence
- twitter:descriptionProofs are programs, and programs are proofs. That's basically what the Curry-Howard correspondance says. While learning about direct proofs in math, it helped me to think of a direct proof as a simple function that I was trying to write...
Link Tags
14- alternatehttps://adueck.github.io/blog
- apple-touch-icon/blog/icons/icon-48x48.png?v=e3d798f775a01f827f8e28d2edf3d1dd
- apple-touch-icon/blog/icons/icon-72x72.png?v=e3d798f775a01f827f8e28d2edf3d1dd
- apple-touch-icon/blog/icons/icon-96x96.png?v=e3d798f775a01f827f8e28d2edf3d1dd
- apple-touch-icon/blog/icons/icon-144x144.png?v=e3d798f775a01f827f8e28d2edf3d1dd
Links
11- https://adueck.github.io
- https://adueck.github.io/blog
- https://adueck.github.io/blog/functors-applicatives-and-monads-with-pictures-in-typescript
- https://adueck.github.io/blog/on-haskell-jazz-and-pure-math
- https://adueck.github.io/blog/static/3737f563c26d95ac04b116d77dd06b83/6c738/proofs-are-programs.jpg
