GitHub repository: pedagand/cortouche
Primary language: OCaml
Created: 2016-06-01T12:13:03Z
Description: Cartouches for Coq