GitHub repository: rouanth/learning
Primary language: Coq
Created: 2016-02-10T08:11:59Z
Description: Various completely useless projects