Coming Up‎ > ‎

May meetup: 14.05.2013

posted 13 May 2013, 08:34 by Ed Lambda
When: 14th May, 7pm at The Outhouse
Speaker: Steven Obua
Title: Versioning and Access Control in ProofPeer
ProofPeer ( is a system in the making for
collaborative theorem proving. It runs on top of Google App Engine and
implements its own scalable version control and access control
mechanisms. I will talk about these mechanisms which are inspired by
Git but result in a (hopefully) drastically simplified experience that
is targeted at people interested in theorem proving, e.g.