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

event · community record

Eugene Kirpichov. Ideas in type-theoretic theorem proving

Eugene Kirpichov. Ideas in type-theoretic theorem proving was a developer community event in Redwood City.

View event source ↗Add or suggest a connection ↗

01

Connections

3 relationships

part ofScala Bayproject ↗presented at · incomingBuilding Scala at Scaletalk ↗presented at · incomingIdeas in Type-Theoretic Theorem Provingtalk ↗

02

Provenance

Type: event
Status: Imported / unclaimed
id: event:scala-bay-178469482
url: https://www.meetup.com/scala-bay/events/178469482/
city: Redwood City
date: 2014-05-12
type: event
title: Eugene Kirpichov. Ideas in type-theoretic theorem proving
source: bythebay
datetime: 2014-05-13T02:00:00+00:00

Eugene Kirpichov. Ideas in type-theoretic theorem proving — devreal.ai