Explore graph Talks Photos Add your work My graph

Loading devreal.ai…

Community index online

Built for the people who make technology make sense.

© 2026 devreal.ai

← Back to the graph

talk · community record

Ideas in Type-Theoretic Theorem Proving

How writing programs and proving theorems are the same thing, introducing type-theoretic concepts one by one.

Add or suggest a connection ↗

01

Connections

3 relationships

affiliated withGooglecompany ↗presented · incomingEugene Kirpichovperson ↗presented atEugene Kirpichov. Ideas in type-theoretic theorem provingevent ↗

02

Provenance

Type: talk
Status: Imported / unclaimed
id: talk:bythebay-20140512-ideas-in-type-theoretic-theorem-proving-eugene-kirpichov
date: 2014-05-12
type: talk
title: Ideas in Type-Theoretic Theorem Proving
origin: meetup
source: bythebay
abstract: How writing programs and proving theorems are the same thing, introducing type-theoretic concepts one by one.
event_id: event:scala-bay-178469482

Ideas in Type-Theoretic Theorem Proving — devreal.ai