GitHub repository: vzaliva/coq-min-imports
Primary language: OCaml
Created: 2016-07-23T23:49:22Z
Description: Script to remove unnecessary module imports from Coq sourcess