When: 14th May, 7pm at The Outhouse Speaker: Steven Obua Title: Versioning and Access Control in ProofPeer Abstract -- ProofPeer (http://proofpeer.net) 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. mathematicians. |
Coming Up >