GitHub repository: Deducteam/CoqInE
Primary language: OCaml
Created: 2017-12-14T15:08:04Z
Description: A Coq plugin to translate Coq proofs into Dedukti terms.