GitHub CreateEvent at 2014-08-13 22:05:39
Repository: Coq-Combi
Actor: hivert
Payload: ref: old
ref_type: branch
master_branch: master
description: Experiment on combinatorics in Coq
pusher_type: user