GitHub CreateEvent at 2014-09-05 09:34:44
Repository: cubical
Actor: mortberg
Payload: ref: minitt_preparam
ref_type: branch
master_branch: master
description: Implementation of Univalence in Cubical Sets
pusher_type: user