GitHub repository: vafeiadis/hahn
Primary language: Coq
Created: 2016-07-27T04:47:46Z
Description: Hahn: A Coq library